Symmetry Breaking in Tournaments.

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

Keyphrases

symmetry breaking
constraint programming
search tree
global constraints
quantified boolean formulae
integer linear programming
boolean satisfiability
constraint satisfaction problems
graph coloring
sat solvers
symmetry breaking constraints
special case
combinatorial problems