Login / Signup
Automating Symmetry-Breaking Calculations.
P. C. Matthews
Published in:
LMS J. Comput. Math. (2004)
Keyphrases
</>
symmetry breaking
constraint programming
boolean satisfiability
search tree
global constraints
quantified boolean formulae
constraint satisfaction problems
integer linear programming
graph coloring
sat solvers
column generation
combinatorial problems
data structure
metaheuristic