Generating effective symmetry-breaking predicates for search problems

Electronic Notes in Discrete Mathematics

Volumn 9, Issue , 2001, Pages 19-35

  Shlyakhter, Ilya ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33644566758     PISSN: 15710653     EISSN: 15710653     Source Type: Journal    
DOI: 10.1016/S1571-0653(04)00311-7     Document Type: Article

References (14)

1. J. Crawford, M. Ginsberg, E. Luks, and A. Roy. Symmetry-breaking predicates for search problems. In Fifth International Conference on Principles of Knowledge Representation and Reasoning, 1996.
2. B. D. McKay. Isomorph-free exhaustive generation. Journal of Algorithms, 26:306-324, 1998.
3. Daniel Jackson, Somesh Jha, and Craig A. Damon. Isomorph-free model enumeration: A new method for checking relational specifications. ACM Transactions on Programming Languages and Systems, 20(2):302-343, March 1998.
4. C. Norris Ip and David L. Dill. Better verification through symmetry. Formal Methods in System Design, 9(1):41-75, August 1996.
5. Rina Dechter and Daniel Frost. Backtracking algorithms for constraint satisfaction problems. Technical Report 56, UC-Irvine, 1999.
6. Henry Kautz and Bart Selman. Planning as satisfiability. In Proceedings of the 10th European Conference on Artificial Intelligence, 1992. http://portal.research.bell-labs.com/orgs/ssr/people/kautz/papers-ftp/satplan. ps.
7. David Joslin and Amitabha Roy. Exploiting symmetry in lifted csps. In AAAI97, 1997.
8. Daniel Jackson, Ian Schechter, and Ilya Shlyakhter. Alcoa: the alloy constraint analyzer. In Proceedings of International Conference on Software Engineering, Limerick, Ireland, 2000.
9. Herbert Wilf. East side, west side: an introduction to combinatorial families with maple programming. http://www.cis.upenn.edu/ wilf/eastwest.pdf, 1999.
10. R.C. Read. An Atlas of Graphs. Oxford University Press, 1998.
11. Neil J. A. Sloane. Sloane's on-line encyclopedia of integer sequences. http://www.research.att.com/ njas/sequences/.
12. F. Harary and E.M. Palmer. Graphical Enumeration. Academic Press, 1973.
13. R. Bayardo and J. Pehoushek. Counting models using connected components. In AAAI Proceedings, 2000.
14. Daniel Jackson. An intermediate design language and its analysis. In Proceedings of International Conference on Foundations of Software Engineering, Orlando, FL, 1998.