Finite Domain and Cutting Plane Techniques in CLP(PB).
Peter BarthAlexander BockmayrPublished in: ICLP (1995)
Keyphrases
- cutting plane
- finite domain
- constraint logic programming
- constraint programming
- integer programming
- column generation
- constraint solving
- cutting plane algorithm
- constraint propagation
- constraint satisfaction problems
- integer program
- lower bound
- constraint satisfaction
- logic programming
- constraint solver
- knapsack problem
- answer set programming
- global constraints
- temporal reasoning
- mixed integer
- network flow
- arc consistency
- graphical models
- search algorithm
- data points
- satisfiability problem