Timing-power optimization for mixed-radix Ling adders by integer linear programming.
Yi ZhuJianhua LiuHaikun ZhuChung-Kuan ChengPublished in: ASP-DAC (2008)
Keyphrases
- integer linear programming
- bicriteria
- column generation
- bit parallel
- linear inequalities
- optimization problems
- global constraints
- pseudo boolean
- floating point
- cutting plane
- discrete optimization
- perfect phylogeny
- power consumption
- pattern matching
- symmetry breaking
- branch and bound algorithm
- orders of magnitude
- boolean satisfiability