Generating effective symmetry-breaking predicates for search problems.

Ilya Shlyakhter

Published in: Discret. Appl. Math. (2007)

Keyphrases

symmetry breaking
search problems
constraint programming
constraint satisfaction problems
search tree
search algorithm
heuristic search
genetic algorithm
orders of magnitude
search strategies
constraint propagation
global constraints
data structure
co occurrence
logic programming
integer linear programming