Code Optimization by Integer Linear Programming.

Daniel Kästner Marc Langenbach

Published in: CC (1999)

Keyphrases

integer linear programming
column generation
bicriteria
global constraints
linear inequalities
source code
optimization process
optimization problems
cutting plane
symmetry breaking
boolean satisfiability
special case
boolean optimization