Symmetry-breaking answer set solving
Christian Drescher, Oana Tifrea, Toby Walsh · AI Communications · 2011
We investigate the role of symmetry detection and symmetry breaking in answer set programming to eliminate symmetric parts of the search space and, thereby, simplify the solution process. We reduce symmetry detection to a graph automorphism problem w