Breaking symmetries in all different problems

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2005, Pages 272-277

  Puget, Jean François ^a  

^a IBM   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL GROUP THEORY; HOLE PROBLEM; PARTIAL ORDER; PARTIAL ORDERING; SYMMETRY BREAKING CONSTRAINTS; VARIABLE SYMMETRIES;

ARTIFICIAL INTELLIGENCE; MODEL CHECKING;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 84880705494     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. Crawford, J., Ginsberg, M., Luks E.M., Roy, A. "Symmetry Breaking Predicates for Search Problems." In proceedings of KR'96, 148-159.
2. P. Flener, A. M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, J. Pearson, T. Walsh.: "Breaking Row and Column Symmetries in Matrix Models." Proceedings of CP'02, pages 462-476, 2002
3. ILOG: ILOG Solver 6.0. User Manual. ILOG, S.A., Gentilly, France, Septembre 2003
4. Lustig, I.J., and Puget, J.F. (2001). "Program Does Not Equal Program: Constraint Programming and its Relationship to Mathematical Programming," Interfaces 31(6), 29-53. (Pubitemid 33730067)
5. Mc Kay, B.: "Practical Graph Isomorphism" Congr. Numer. 30, 45-87, 1981
6. Dame Ollenrenshaw, K. "On most perfect or complete 8x8 pandiagonal magic squares" Proceedings Royal Society London, 407, 259-281, 1986.
7. Petrie, K., Smith, B.M. : "Symmetry breaking in graceful graphs." In proceedings of CP'03, LNCS 2833, 930-934, Springer Verlag, 2003.
8. Petrie, K. : "Combining SBDS and SBDD" Technical report APES-86-2004. Available from http://www.dcs.st-and.ac.uk/∼apes/apesreports. html"
9. Puget, J.-F.: "On the Satisfiability of Symmetrical Constraint Satisfaction Problems." Proceedings of ISMIS'93 (1993), 350-361.
10. Roney-Dougal C.M., Gent, I.P., Kelsey T., Linton S.: "Tractable symmetry breaking using restricted search trees" To appear in proceedings of ECAI'04.
11. Roy. A., Luks, E.: "The complexity of symmetry-breaking formulas", Annals of Mathematics and Artificial Intelligence, 41 (2004), 19-45 (with A. Roy). (Pubitemid 39051118)
12. Seress, A.: Permutation Group Algorithms Cambrige University Press, 2003.