Representations of the all_different Predicate of Constraint Satisfaction in Integer Programming.
H. Paul WilliamsHong YanPublished in: INFORMS J. Comput. (2001)
Keyphrases
- constraint satisfaction
- integer programming
- constraint programming
- constraint satisfaction problems
- constraint propagation
- np hard
- lagrangian relaxation
- combinatorial problems
- phase transition
- heuristic search
- arc consistency
- set covering
- cutting plane
- cutting plane algorithm
- linear programming
- constraint relaxation
- relaxation labeling
- column generation
- soft constraints
- integer program
- product configuration
- constraint optimization
- global constraints
- valid inequalities
- vehicle routing problem with time windows
- search strategies
- constraint networks
- constraint solving
- constraint problems
- robust fault detection
- special case
- constrained problems
- np complete
- sat solvers
- russian doll search