The complexity of symmetry-breaking formulas

DOI10.1023/B:AMAI.0000018578.92398.10zbMath1062.68047OpenAlexW2038009763MaRDI QIDQ596483

Amitabha Roy, Eugene M. Luks

Publication date: 10 August 2004

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:amai.0000018578.92398.10

zbMATH Keywords

symmetry-breakinglex-leader formulassymmetry in search

Mathematics Subject Classification ID

Searching and sorting (68P10)

Related Items

Breaking symmetries in graph search with canonizing sets, Packing, partitioning, and covering symresacks, Symmetry Breaking Constraints for the Minimum Deficiency Problem