Russian
English
Home
Authors
Papers
Year of conference
Themes
Organizations
To MES conference
Matrosova A.Yu.
National Research Tomsk State University
Listing of all the works of the author. Click on the work title to get the full information.
2020
Matrosova A.Yu., Tychinskiy V.Z., Andreeva V.V.
Deriving Low Power Robust PDFs Based on Applying SAT-Solvers and Operations on ROBDDs
Matrosova A.Yu., Provkin V.A., Ostanin S.A.
Applying SAT Solvers and ROBDDs for Deriving Circuits Masking Logical Faults and TSs in Discrete Systems
Copyright © 2009-2024 IPPM RAS. All Rights Reserved.
Design of site: IPPM RAS