The Complexity of Symmetry-Breaking Formulas.

Eugene M. Luks Amitabha Roy

Published in: Ann. Math. Artif. Intell. (2004)

Keyphrases

symmetry breaking
constraint programming
global constraints
quantified boolean formulae
search tree
space complexity
state space
orders of magnitude
propositional formulas
genetic algorithm
search algorithm
computational complexity
worst case
decision problems
graph coloring
boolean satisfiability