The complexity of symmetry-breaking formulas
From MaRDI portal
Publication:596483
DOI10.1023/B:AMAI.0000018578.92398.10zbMath1062.68047OpenAlexW2038009763MaRDI QIDQ596483
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
Related Items
Breaking symmetries in graph search with canonizing sets, Packing, partitioning, and covering symresacks, Symmetry Breaking Constraints for the Minimum Deficiency Problem