A note on symmetry heuristics in SEM

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

Volumn 2392, Issue , 2002, Pages 181-194

  de la Tour, Thierry Boy ^a  

^a Laboratory Leibniz IMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; THEOREM PROVING;

COMBINATORICS; COMPUTATIONALLY EFFICIENT; FINITE MODEL; GROUP ACTIONS; RELATIVE PERFORMANCE; SEARCH SPACES; SIMPLE GROUPS;

GROUP THEORY;

EID: 84948965393     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45620-1_16     Document Type: Conference Paper

References (9)

1. Martin Aigner. Combinatorial Theory. Classics in Mathemathics. Springer-Verlag, 1997.
2. Gilles Audemard and Laurent Henocque. The extended least number heuristic. In Rajeev Goré, Alexander Leitsch, and Tobias Nipkow, editors, First IJCAR, LNAI 2083, pages 427–442, Siena, Italy, June 2001. Springer-Verlag.
3. Thierry Boy de la Tour. On the complexity of finite sorted algebras. In Ricardo Caferra and Gernot Salzer, editors, Automated Deduction in Classical and Non-Classical Logics, Lecture Notes in Artificial Intelligence 1761, pages 95–108. Springer Verlag, 2000.
4. Thierry Boy de la Tour. Some techniques of isomorph-free search. In Artificial Intelligence and Symbolic Computation, International Conference AISC’2000, pages 240–252. Springer Verlag, 2000. Lecture Notes in Artificial Intelligence 1930.
5. C. Hoffmann. Group-theoretic algorithms and graph isomorphism. Lecture Notes in Computer Science 136. Springer Verlag, 1981.
6. Nicolas Peltier. A new method for automated finite model building exploiting failures and symmetries. Journal of Logic and Computation, 8(4):511–543, 1998.
7. Jian Zhang. Constructing finite algebras with FALCON. Journal of Automated Reasoning, 17(1):1–22, August 1996.
8. Jian Zhang and Hantao Zhang. Constraint propagation in model generation. In Ugo Montanari and Francesca Rossi, editors, Principles and practice of constraint programming - CP’95, LNCS 976, Cassis, France, sep 1995. Springer-Verlag.
9. Jian Zhang and Hantao Zhang. SEM: a system for enumerating models. In Chris S. Mellish, editor, Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pages 298–303. Morgan Kaufmann, aug 1995.