Power Minimization for Dual- and Triple-Supply Digital Circuits via Integer Linear Programming.
Ki-Yong AhnChong-Min KyungPublished in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2009)
Keyphrases
- integer linear programming
- digital circuits
- column generation
- data flow
- model based diagnosis
- power consumption
- electricity markets
- pseudo boolean
- symmetry breaking
- finite state machines
- global constraints
- perfect phylogeny
- boolean satisfiability
- cutting plane
- circuit design
- np complete
- linear programming
- cost function
- evolutionary algorithm
- functional decomposition
- search algorithm