The eXtended least number heuristic

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

Volumn 2083, Issue , 2001, Pages 427-442

  Audemard, Gilles ^a   Henocque, Laurent ^a  

^a AIX MARSEILLE UNIV   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; COMPUTER PROGRAMMING; DIRECTED GRAPHS; GROUP THEORY; SEMANTICS;

CONVENTIONAL METHODS; EQUATIONAL THEORY; FINITE MODEL; FUNCTIONAL DEPENDENCY; PUBLIC DOMAINS; RING THEORY; SOFTWARE FRAMEWORKS; WEIGHTED DIRECTED GRAPH; BIJECTIONS; BIJECTIVE FUNCTIONS; FIRST ORDER;

INVERSE PROBLEMS;

EID: 84867792284     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-45744-5_35     Document Type: Article

References (11)

1. Gilles Audemard, Belaid Benhamou, and Laurent Henocque. Two techniques to improve finite model search. In D. McAllester, editor, Proceedings of the 17th International Conference on Automated Deduction (CADE-17), volume 1831 of LNCS, pages 302-308. Springer, June 2000.
2. Belaid Benhamou and Laurent Henocque. A hybrid method for finite model search in equational theories. Fundamenta Informaticae, 39(1-2):21-38, 1999.
3. Masayuki Fujita, John Slaney, and Franck Bennett. Automatic generation of some results in finite algebra. In Proceedings of International Join Conference on Artificial Intelligence, pages 52-57. Morgan Kaufmann, 1993.
4. William McCune. A Davis-Putnam program and its application to finite first-order model search: quasigroup existence problems. Technical Memorandum ANL/MCS-TM-194, Argonne National Laboratories, IL/USA, 1994.
5. Nicolas Peltier. A new method for automated finite model building exploiting failures and symmetries. Journal of Logic and Computation, 8(4):511-543, 1998.
6. John Slanley. Finder: Finite domain enumerator. version 3 notes and guides. Technical report, Austrian National University, 1993.
7. Christian B. Suttner and Geoff Sutcliffe. The TPTP problem library - v2.1.0. Technical Report JCU-CS-97/8, Department of Computer Science, James Cook University, 15 December 1997.
8. Hantao Zhang and Mark Stickel. Implemanting the Davis-Putnam method. Journal of Automated Reasonning, 24:277-296, 2000.
9. Jian Zhang. Problems on the Generation of Finite Models. In Alan Bundy, editor, 12th International Conference on Automated Deduction, LNAI 814, pages 753-757, Nancy, France, June 26-July 1, 1994. Springer-Verlag.
10. Jian Zhang. Constructing finite algebras with FALCON. Journal of Automated Reasoning, 17(1):1-22, August 1996.
11. 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, 1995.