Login / Signup
A New Pseudo-Boolean Satisfiability based approach to Power Mode Schedulability Analysis.
Sayak Ray
Pallab Dasgupta
P. P. Chakrabarti
Published in:
VLSI Design (2007)
Keyphrases
</>
integer programming
sat solving