SCIL - Symbolic Constraints in Integer Linear Programming.
Ernst AlthausAlexander BockmayrMatthias ElfMichael JüngerThomas KasperKurt MehlhornPublished in: ESA (2002)
Keyphrases
- integer linear programming
- linear inequalities
- global constraints
- pseudo boolean
- column generation
- bicriteria
- symmetry breaking
- constraint programming
- boolean satisfiability
- combinatorial problems
- integer program
- linear constraints
- propositional satisfiability
- mixed integer
- constrained optimization
- sat encodings
- linear programming
- boolean optimization