Local Symmetry Breaking During Search in CSPs.

Belaid Benhamou Mohamed Réda Saïdi

Published in: CP (2007)

Keyphrases

symmetry breaking
constraint programming
search tree
constraint satisfaction problems
global constraints
integer linear programming
combinatorial problems
search algorithm
graph coloring
arc consistency
search space
multi objective
constraint satisfaction