Replica Symmetry and Replica Symmetry Breaking for the Traveling Salesperson Problem.

Hendrik Schawe Jitesh Kumar Jha Alexander K. Hartmann

Published in: CoRR (2018)

Keyphrases

symmetry breaking
constraint programming
boolean satisfiability
search tree
quantified boolean formulae
integer linear programming
graph coloring
constraint satisfaction problems
global constraints
combinatorial problems
symmetry breaking constraints
linear programming
genetic algorithm ga