The Complexity of Symmetry Breaking Beyond Lex-Leader.

Markus Anders Sofia Brenner Gaurav Rattan

Published in: CP (2024)

Keyphrases

symmetry breaking
worst case
constraint programming
computational complexity
global constraints
quantified boolean formulae
optimization problems
orders of magnitude
integer linear programming
graph coloring
boolean satisfiability
parameterized complexity