Open AccessDeriving Low Power Robust PDFs Based on Applying SAT-Solvers and Operations on ROBDDs
Author(s) -
A. Matrosova,
V. Z. Tychinskiy,
V. Andreeva
Publication year - 2020
Publication title -
problemy razrabotki perspektivnyh mikro- i nanoèlektronnyh sistem ...
Language(s) - English
Resource type - Journals
ISSN - 2078-7707
DOI - 10.31114/2078-7707-2020-2-43-49
Subject(s) - computer science , power (physics) , mathematical optimization , mathematics , quantum mechanics , physics