An Increasing-Nogoods Global Constraint for Symmetry Breaking During Search.
Jimmy H. M. LeeZichen ZhuPublished in: CP (2014)
Keyphrases
- symmetry breaking
- global constraints
- constraint programming
- constraint satisfaction problems
- combinatorial problems
- boolean constraints
- search tree
- arc consistency
- integer linear programming
- parameterized complexity
- symmetry breaking constraints
- integer programming
- optimal solution
- search space
- constraint propagation