Using SAT-based techniques in low power state assignment

vastutusandmed
Assim Sagahyroon, Fadi A. Aloul, Alexander Sudnitson
ajakirja aastakäik number kuu
Vol. 20, 8
ilmumisaasta
leheküljed
p. 1605-1618 : ill
ISSN
0218-1266
märkused
Bibliogr.: 31 ref
keel
inglise
Sagahyroon, A., Aloul, F.A., Sudnitsõn, A. Using SAT-based techniques in low power state assignment // Journal of circuits, systems, and computers (2011) Vol. 20, 8, p. 1605-1618 : ill. https://www.worldscientific.com/doi/10.1142/S0218126611007980