An isomorph-free SEM-like enumeration of models

Electronic Notes in Theoretical Computer Science

Volumn 125, Issue 2, 2005, Pages 91-113

  De La Tour, Thierry Boy ^a   Countcham, Prakash ^a  

^a CNRS   (France)

Author keywords

Computational group theory; Finite model building; Isomorph free search

Indexed keywords

ABSTRACTING; ALGORITHMS; BOOLEAN ALGEBRA; CONSTRAINT THEORY; FINITE AUTOMATA; HEURISTIC METHODS; INFORMATION ANALYSIS; PROBLEM SOLVING; SEMANTICS; THEOREM PROVING;

COMPUTATIONAL GROUP THEORY; FINITE MODEL BUILDING; ISOMORPH FREE SEARCH; LEAST NUMBER HEURISTICS;

MATHEMATICAL MODELS;

EID: 14744279556     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.01.003     Document Type: Conference Paper

References (9)

1. 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. Springer-Verlag, 2001.
2. F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1998.
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, LNAI 1761, pages 95-108. Springer Verlag, 2000.
4. Thierry Boy de la Tour. A note on symmetry heuristics in SEM. In Andrei Voronkov, editor, Proceedings of CADE-18, LNAI 2392, pages 181-194. Springer Verlag, 2002.
5. Brendan D. McKay. Practical graph isomorphism. Congressus Numerantium, 30:45-87, 1981.
6. Brendan D. McKay. Isomorph-free exhaustive generation. Journal of Algorithms, 26(2):306-324, February 1998.
7. Nicolas Peltier. A new method for automated finite model building exploiting failures and symmetries. Journal of Logic and Computation, 8(4):511-543, 1998.
8. Uwe Schöning and Randall Pruim. Gems of Theoretical Computer Science. Springer-Verlag, 1998.
9. J. Zhang and H. Zhang. SEM: a system for enumerating models. In Chris S. Mellish, editor, Proceedings of the 14th IJCAI, pages 298-303. Morgan Kaufmann, 1995.