Polyhedral auto-transformation with no integer linear programming.

Aravind Acharya Uday Bondhugula Albert Cohen

Published in: PLDI (2018)

Keyphrases

integer linear programming
column generation
bicriteria
linear inequalities
symmetry breaking
global constraints
pseudo boolean
boolean satisfiability
line drawings
cutting plane
branch and bound
convex hull
integer program
constraint programming
mathematical model
linear programming
optimal solution