Using SAT-based techniques in low power state assignment

statement of authorship
Assim Sagahyroon, Fadi A. Aloul, Alexander Sudnitson
journal volume number month
Vol. 20, 8
year of publication
pages
p. 1605-1618 : ill
ISSN
0218-1266
notes
Bibliogr.: 31 ref
language
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