Sagahyroon, A., Aloul, F.A., Sudnitsõn, A.

full record print

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

ISSN

0218-1266

notes

Bibliogr.: 31 ref

language

inglise

Märksõnad ja võtmesõnad

subject term

võimsus

lineaarne planeerimine

programmeerimine

Boole'i funktsioonid

keyword

state assignment

power

integer linear programming

Boolean Satisfiability

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