Avoiding Node Re-Expansions Can Break Symmetry Breaking.

Mark Carlson Daniel Harabor Peter J. Stuckey

Published in: SOCS (2024)

Keyphrases

symmetry breaking
constraint programming
boolean satisfiability
constraint satisfaction problems
global constraints
search tree
graph coloring
quantified boolean formulae
integer linear programming
search algorithm
simulated annealing
particle swarm optimization
sat solvers
symmetry breaking constraints