Login / Signup
Symmetry Breaking in Tournaments.
Antoni Lozano
Published in:
Electron. J. Comb. (2013)
Keyphrases
</>
symmetry breaking
constraint programming
search tree
global constraints
boolean satisfiability
quantified boolean formulae
integer linear programming
graph coloring
constraint satisfaction problems
symmetry breaking constraints
constraint satisfaction