How to use symmetries in Boolean constraint solving
Constraint logic programming
Exploiting symmetries within constraint satisfaction search
Artificial Intelligence - Special issue on heuristic search in artificial intelligence
Backtrack Searching in the Presence of Symmetry
AAECC-6 Proceedings of the 6th International Conference, on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
On the Satisfiability of Symmetrical Constrained Satisfaction Problems
ISMIS '93 Proceedings of the 7th International Symposium on Methodologies for Intelligent Systems
Excluding Symmetries in Constraint-Based Search
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Global Cut Framework for Removing Symmetries
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Theoretical Study of Symmetries in Propositional Calculus and Applications
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Automatically exploiting symmetries in constraint programming
CSCLP'04 Proceedings of the 2004 joint ERCIM/CoLOGNET international conference on Recent Advances in Constraints
Constraint symmetry and solution symmetry
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
A constraint-based approach to Enigma 1225
Computers & Mathematics with Applications
Transposition tables for constraint satisfaction
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Exploiting single-cycle symmetries in continuous constraint problems
Journal of Artificial Intelligence Research
The monoids of orders eight, nine & ten
Annals of Mathematics and Artificial Intelligence
Constraint models for graceful graphs
Constraints
Exploiting single-cycle symmetries in Branch-and-Prune algorithms
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Constraint symmetry for the soft CSP
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Symmetries of Symmetry Breaking Constraints
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Symmetry within and between solutions
PRICAI'10 Proceedings of the 11th Pacific Rim international conference on Trends in artificial intelligence
Symmetry-breaking answer set solving
AI Communications - Answer Set Programming
Branch-cut-and-propagate for the maximum k-colorable subgraph problem with symmetry
CPAIOR'11 Proceedings of the 8th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Generating highly balanced sudoku problems as hard problems
Journal of Heuristics
Symmetry breaking in numeric constraint problems
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
General symmetry breaking constraints
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Hi-index | 0.00 |
We review the many different definitions of symmetry for constraint satisfaction problems (CSPs) that have appeared in the literature, and show that a symmetry can be defined in two fundamentally different ways: as an operation preserving the solutions of a CSP instance, or else as an operation preserving the constraints. We refer to these as solution symmetries and constraint symmetries. We define a constraint symmetry more precisely as an automorphism of a hypergraph associated with a CSP instance, the microstructure complement. We show that the solution symmetries of a CSP instance can also be obtained as the automorphisms of a related hypergraph, the k-ary nogood hypergraph and give examples to show that some instances have many more solution symmetries than constraint symmetries. Finally, we discuss the practical implications of these different notions of symmetry.