System description generating models by SEM

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

Volumn 1104, Issue , 1996, Pages 308-312

  Zhang, Jian ^a   Zhang, Hantao ^a  

^a University of Iowa   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957673338     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61511-3_96     Document Type: Conference Paper

References (11)

1. Fujita, M., Slaney, J., and Bennett, F. "Automatic, generation of some results in finite algebra," Proc. IJCAI-93, 52-57,.Chambéry, France.
2. Jech, T., "OTTER experiments in a system of combinatory logic," J. Automated Reasoning 14 (1995) 413-426.
3. Kim, S., and Zhang, H., "ModGen: Theorem proving by model generation," Proc. AAAI-94, 162-167, Seattle.
4. Kunen, K., "Single axioms for groups," J. Automated Reasoning 9 (1992) 291-308.
5. Manthey, R., and Bry, F., "SATCHMO: A theorem prover implemented in Prolog," Proc. CADE-9 (1988) 415-434.
6. McCune, W., "A Davis-Putnam program and its application to finite first-order model search: Quasigroup existence problems," Technical Report ANL/MCS-TM- 194, Argonne National Laboratory (1994).
7. Slaney, J., "FINDER: Finite domain enumerator - system description," Proc. CADE-12 (1994) 798-801.
8. Slaney, J., Fujita, M. and Stickel, M., "Automated reasoning and exhaustive search: Quasigroup existence problems," Computers and Mathematics with Applications 29 (1995) 115-132.
9. Zhang, H., and Stickel, M., "Implementing the Davis-Putnam algorithm by tries," Technical Report, University of Iowa (1994).
10. Zhang, J., "Constructing finite algebras with FALCON," accepted by J. Automated Reasoning.
11. Zhang, J., and Zhang, H., "SEM: a System for Enumerating Models," Proc. IJCAI- 95, 298-303.