Home         Authors   Papers   Year of conference   Themes   Organizations        To MES conference

National Research Tomsk State University

---

Listing of all the works of the organization. Click on the work title to get the full information.

2020
		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
		Matrosova A.Yu., Tychinskiy V.Z., Andreeva V.V. Deriving Low Power Robust PDFs Based on Applying SAT-Solvers and Operations on ROBDDs