Pipelined compressor tree optimization using integer linear programming.
Martin KummPeter ZipfPublished in: FPL (2014)
Keyphrases
- integer linear programming
- bicriteria
- column generation
- linear inequalities
- tree structure
- boolean satisfiability
- optimization problems
- pseudo boolean
- constrained optimization
- symmetry breaking
- optimization model
- discrete optimization
- global constraints
- perfect phylogeny
- cutting plane
- genetic algorithm
- optimization methods
- b tree
- combinatorial optimization
- index structure
- special case