System description generating models by SEM

  • Jian Zhang
  • Hantao Zhang
Session 4B
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1104)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Fujita, M., Slaney, J., and Bennett, F.; “Automatic generation of some results in finite algebra,” Proc. IJCAI-93, 52–57, Chambéry, France.Google Scholar
  2. 2.
    Jech, T., “OTTER experiments in a system of combinatory logic,” J. Automated Reasoning 14 (1995) 413–426.CrossRefGoogle Scholar
  3. 3.
    Kim, S., and Zhang, H., “ModGen: Theorem proving by model generation,” Proc. AAAI-94, 162–167, Seattle.Google Scholar
  4. 4.
    Kunen, K., “Single axioms for groups,” J. Automated Reasoning 9 (1992) 291–308.CrossRefGoogle Scholar
  5. 5.
    Manthey, R., and Bry, F., “SATCHMO: A theorem prover implemented in Prolog,” Proc. CADE-9 (1988) 415–434.Google Scholar
  6. 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).Google Scholar
  7. 7.
    Slaney, J., “FINDER: Finite domain enumerator — system description,” Proc. CADE-12 (1994) 798–801.Google Scholar
  8. 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.CrossRefGoogle Scholar
  9. 9.
    Zhang, H., and Stickel, M., “Implementing the Davis-Putnam algorithm by tries,” Technical Report, University of Iowa (1994).Google Scholar
  10. 10.
    Zhang, J., “Constructing finite algebras with FALCON,” accepted by J. Automated Reasoning.Google Scholar
  11. 11.
    Zhang, J., and Zhang, H., “SEM: a System for Enumerating Models,” Proc. IJCAI-95, 298–303.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Jian Zhang
    • 1
  • Hantao Zhang
    • 1
  1. 1.Department of Computer ScienceThe University of IowaIowa CityUSA

Personalised recommendations