Using SAT-based techniques in low power state assignment
autor
Sagahyroon, Assim
Aloul, Fadi
Sudnitsõn, Aleksander
vastutusandmed
Assim Sagahyroon, Fadi A. Aloul, Alexander Sudnitson
allikas
Journal of circuits, systems, and computers
ajakirja aastakäik number kuu
Vol. 20, 8
ilmumisaasta
2011
leheküljed
p. 1605-1618 : ill
leitav
https://www.worldscientific.com/doi/10.1142/S0218126611007980
märksõna
võimsus
lineaarne planeerimine
programmeerimine
Boole'i funktsioonid
võtmesõna
state assignment
power
integer linear programming
Boolean Satisfiability
ISSN
0218-1266
märkused
Bibliogr.: 31 ref
keel
inglise