Generating effective symmetry-breaking predicates for search problems.

Ilya Shlyakhter

Published in: Electron. Notes Discret. Math. (2001)

Keyphrases

symmetry breaking
search problems
constraint programming
orders of magnitude
boolean satisfiability
search algorithm
constraint satisfaction problems
heuristic search
integer linear programming
sat solvers
logic programming
search strategies
search tree
global constraints