×

zbMATH — the first resource for mathematics

Generating effective symmetry-breaking predicates for search problems. (English) Zbl 1158.68497
Kautz, Henry (ed.) et al., LICS 2001 workshop on theory and application of satisfiability testing (SAT 2001). Boston, MA, USA, June 14–15, 2001. Amsterdam: Elsevier. Electron. Notes Discrete Math. 9, no pag., electronic only (2001).
The final version of this paper has appeared in Discrete Appl. Math. 155, No. 12, 1539–1548 (2007; Zbl 1123.68120).
For the entire collection see [Zbl 0968.90001].

MSC:
68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Software:
Alcoa; Alloy; OEIS
PDF BibTeX XML Cite
Full Text: Link
References:
[1] Crawford, J.; Ginsberg, M.; Luks, E.; Roy, A.: Symmetry-breaking predicates for search problems. Fifth international conference on principles of knowledge representation and reasoning (1996)
[2] Mckay, B. D.: Isomorph-free exhaustive generation. Journal of algorithms 26, 306-324 (1998) · Zbl 0894.68107
[3] Jackson, Daniel; Jha, Somesh; Damon, Craig A.: Isomorph-free model enumeration: A new method for checking relational specifications. ACM transactions on programming languages and systems 20, No. 2, 302-343 (March 1998)
[4] Ip, C. Norris; Dill, David L.: Better verification through symmetry. Formal methods in system design 9, No. 1, 41-75 (August 1996)
[5] Dechter, Rina; Frost, Daniel: Backtracking algorithms for constraint satisfaction problems. Technical report 56, UC-irvine. (1999) · Zbl 0940.68037
[6] Kautz, Henry; Selman, Bart: Planning as satisfiability. Proceedings of the 10th European conference on artificial intelligence (1992) · Zbl 0979.68094
[7] Joslin, David; Roy, Amitabha: Exploiting symmetry in lifted csps. Aaai97 (1997)
[8] Jackson, Daniel; Schechter, Ian; Shlyakhter, Ilya: Alcoa: the alloy constraint analyzer. Proceedings of international conference on software engineering, Limerick, Ireland (2000)
[9] Wilf, Herbert: East side, west side: an introduction to combinatorial families with Maple programming, http://www.cis.upenn.edu/Wilf/eastwest.pdf. (1999)
[10] Read, R. C.: An atlas of graphs. (1998) · Zbl 0908.05001
[11] Neil J. A. Sloane., Sloane’s on-line encyclopedia of integer sequences. http://www.research.att.com/njas/sequences/. · Zbl 1159.11327
[12] Harary, F.; Palmer, E. M.: Graphical enumeration. (1973) · Zbl 0266.05108
[13] Bayardo, R.; Pehoushek, J.: Counting models using connected components. AAAI Proceedings (2000)
[14] Jackson, Daniel: An intermediate design language and its analysis. Proceedings of international conference on foundations of software engineering, Orlando, FL (1998)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.