Symbol Manipulation and Symmetry Breaking.

Hans Zassenhaus

Published in: European Conference on Computer Algebra (2) (1985)

Keyphrases

symmetry breaking
constraint programming
boolean satisfiability
global constraints
quantified boolean formulae
search tree
graph coloring
constraint satisfaction problems
integer linear programming
symmetry breaking constraints
multi dimensional
sat solvers
multi objective
arc consistency