Connections Between Integer Linear Programming and Constraint Logic Programming - An Overview and Introduction to the Cluster of Articles.
H. Paul WilliamsJohn M. WilsonPublished in: INFORMS J. Comput. (1998)
Keyphrases
- integer linear programming
- constraint logic programming
- global constraints
- column generation
- constraint programming
- constraint solving
- logic programming language
- answer set programming
- logic programming
- constraint propagation
- temporal reasoning
- cutting plane
- constraint satisfaction problems
- linear programming
- pseudo boolean
- boolean optimization
- programming paradigms
- boolean satisfiability
- video sequences
- symmetry breaking
- combinatorial problems
- integer programming
- constraint satisfaction
- data points