Pumping, Cleaning and Symbolic Constraints Solving.
Anne-Cécile CaronHubert ComonJean-Luc CoquidéMax DauchetFlorent JacquemardPublished in: ICALP (1994)
Keyphrases
- finite domain
- linear programming problems
- constrained problems
- reducing the search space
- constraint programming
- mixed integer program
- constraint problems
- geometric constraints
- solving problems
- integer program
- high level
- lagrange multipliers
- solving constraint satisfaction problems
- sat encodings
- mixed integer
- column generation
- constraint satisfaction
- constraint satisfaction problems