Using SAT-based techniques in low power state assignment
author
Sagahyroon, Assim
Aloul, Fadi
Sudnitsõn, Aleksander
statement of authorship
Assim Sagahyroon, Fadi A. Aloul, Alexander Sudnitson
source
Journal of circuits, systems, and computers
journal volume number month
Vol. 20, 8
year of publication
2011
pages
p. 1605-1618 : ill
url
https://www.worldscientific.com/doi/10.1142/S0218126611007980
subject term
võimsus
lineaarne planeerimine
programmeerimine
Boole'i funktsioonid
keyword
state assignment
power
integer linear programming
Boolean Satisfiability
ISSN
0218-1266
notes
Bibliogr.: 31 ref
language
inglise