The Complexity of Symmetry Breaking Beyond Lex-Leader.

Markus Anders Sofia Brenner Gaurav Rattan

Published in: CoRR (2024)

Keyphrases

symmetry breaking
constraint programming
worst case
search tree
parameterized complexity
quantified boolean formulae
decision problems
global constraints
boolean satisfiability
computational complexity
space complexity