Symmetry definitions for constraint satisfaction problems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3709 LNCS, Issue , 2005, Pages 17-31

  Cohen, David ^a   Jeavons, Peter ^b   Jefferson, Christopher ^c   Petrie, Karen E ^d   Smith, Barbara M ^d  

^a UNIVERSITY OF LONDON   (United Kingdom)

^b UNIVERSITY OF OXFORD   (United Kingdom)

^c UNIVERSITY OF YORK   (United Kingdom)

^d UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; MICROSTRUCTURE; NUMERICAL METHODS; PROBLEM SOLVING;

CONSTRAINT SATISFACTION PROBLEMS; CONSTRAINT SYMMETRIAN; K-ARY NOGOOD HYPERGRAPH;

CONSTRAINT THEORY;

EID: 33646170054     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11564751_5     Document Type: Conference Paper

References (18)

1. A. Aguirre. How to Use Symmetries in Boolean Constraint Solving. In F. Benhamou and A. Colmerauer, editors, Constraint Logic Programming: Selected Research, pages 287-306. MIT Press, 1992.
2. R. Backofen and S. Will. Excluding Symmetries in Constraint-Based Search. In J. Jaffar, editor, Principles and Practice of Constraint Programming - CP'99, LNCS 1713, pages 73-87. Springer, 1999.
3. B. Benhamou. Study of symmetry in constraint satisfaction problems. In Proceedings of the 2nd Workshop on Principles and Practice of Constraint Programming, PPCP'94, pages 246-254, May 1994.
4. B. Benhamou and L. Sais. Theoretical study of symmetries in prepositional calculus and applications. In D. Kapur, editor, Automated Deduction - CADE-11, LNAI 607, pages 281-294. Springer-Verlag, 1992.
5. C. A. Brown, L. Finkelstein, and P. W. Purdorn. Backtrack Searching in the Presence of Symmetry. In T. Mora, editor, Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, LNCS 357, pages 99-110. Springer-Verlag, 1988.
6. J. Crawford, M. Ginsberg, E. Luks, and A. Roy. Symmetry-Breaking Predicates for Search Problems. In Proceedings KR'96, pages 149-159, Nov. 1996.
7. T. Fahle, S. Schamberger, and M. Sellmann. Symmetry Breaking. In T. Walsh, editor, Principles and Practice of Constraint. Programming - CP 2001, LNCS 2239, pages 225-239. Springer, 2001.
8. F. Focacci and M. Milano. Global Cut Framework for Removing Symmetries. In T. Walsh, editor, Principles and Practice of Constraint Programming - CP 2001, LNCS 2239, pages 77-92. Springer, 2001.
9. E. C. Freuder. Eliminating Interchangeable Values in Constraint Satisfaction Problems. In Proceedings AAAI'91, volume 1, pages 227-233, 1991.
10. I. P. Gent, W. Harvey, T. Kelsey, and S. Linton. Generic SBDD using Computational Group Theory. In F. Rossi, editor, Principles and Practice of Constraint Programming - CP 2003, LNCS 2833, pages 333-347. Springer, 2003.
11. I. P. Gent and B. M. Smith. Symmetry Breaking During Search in Constraint Programming. In W. Horn, editor, Proceedings ECAI'2000, pages 599-603, 2000.
12. P. Jégou. Decomposition of Domains Based on the Micro-Structure of Finite Constraint-Satisfaction Problems. In Proceedings AAAI'93, pages 731-736, 1993.
13. B. McKay. Practical Graph Isomorphism. Congressus Numerantium, 30:45-87, 1981. (The software tool NAUTY is available for download from http://cs.anu.edu.au/~bdm/nauty/)
14. P. Meseguer and C. Torras. Exploiting symmetries within constraint satisfaction search. Artificial Intelligence, 129:133-163, 2001.
15. J.-F. Puget. On the Satisfiability of Symmetrical Constrained Satisfaction Problems. In J. Komorowski and Z. W. Ras, editors, Proceedings of ISMIS'93, LNAI 689, pages 350-361. Springer-Verlag, 1993.
16. A. Ramani and I. L. Markov. Automatically Exploiting Symmetries in Constraint Programming. In B. Faltings, A. Petcu, F. Pages, and F. Rossi, editors, CSCLP 2004, LNCS 3419, pages 98-112. Springer, 2005.
17. P. Roy and F. Pachet. Using Symmetry of Global Constraints to Speed up the Resolution of Constraint Satisfaction Problems. In Workshop on Non Binary Constraints, ECAI-98, Aug. 1998.
18. T. Walsh. SAT v CSP. In R. Dechter, editor, Proceedings CP'2000, LNCS 1894, pages 441-456. Springer, 2000.