Compact Symmetry Breaking for Tournaments.

Evan Lohn Chris Lambert Marijn J. H. Heule

Published in: FMCAD (2022)

Keyphrases

symmetry breaking
constraint programming
search tree
boolean satisfiability
quantified boolean formulae
constraint satisfaction problems
global constraints
integer linear programming
graph coloring
combinatorial problems
search algorithm
multi dimensional
propositional satisfiability
boolean optimization