Symmetry-breaking in constraint satisfaction problems is a well-established area of AI research which has recently developed strong interactions with symbolic computation, in the form of computational group theory. GE-trees are a new conceptual abstraction, providing lowdegree polynomial time methods for breaking value symmetries in constraint satisfication problems. In this paper we analyse the structure of symmetry groups of constraint satisfaction problems, and implement several combinations of GE-trees and the classical SBDD method for breaking all symmetries. We prove the efficacy of our techniques, and present preliminary experimental evidence of their practical efficiency. © Springer-Verlag 2004.
CITATION STYLE
Kelsey, T., Linton, S., & Roney-Dougal, C. (2004). New Developments in Symmetry Breaking in Search Using Computational Group Theory. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3249, 199–210. https://doi.org/10.1007/978-3-540-30210-0_17
Mendeley helps you to discover research relevant for your work.