A Davis-Putnam Program and its Application to Finite First-Order Model Search: Quasigroup Existence Problems (1994)

by William Mccune
Citations:96 - 10 self

Documents Related by Co-Citation

54 Automatic generation of some results in Finite Algebra – M Fujita, J Slaney, F Bennett - 1993
56 Automated Reasoning and Exhaustive Search: Quasigroup Existence Problems – John Slaney, Masayuki Fujita, Mark Stickel - 1995
37 Implementing the Davis-Putnam Algorithm by Tries – Hantao Zhang, Mark E. Stickel - 1994
294 OTTER3.0 Reference Manual and Guide – William W. McCune - 1995
13 Conjugate-orthogonal latin squares and related structures, Contempory design theory: a collection of surveys – F E Bennett, L Zhu - 1992
1084 A computing procedure for quantification theory – Martin Davis, Hilary Putnam - 1960
70 SEM: A System for Enumerating Models – Jian Zhang, Hantao Zhang - 1995
6 Search for idempotent models of quasigroup identities. Unpublished typescript – Jian Zhang - 1991
20 SATO: A decision procedure for propositional logic, Association for Automated Reasoning – H Zhang - 1993
128 SETHEO: A High-Performance Theorem Prover – R Letz, J Schumann, S Bayerl, W Bibel - 1992
59 On conjectures of graffiti – S Fajtlowicz - 1988
45 The OTTER user’s guide – W McCune - 1990
30 Refactorable Numbers - A Machine Invention – Simon Colton - 1999
44 Otter: The CADE-13 Competition Incarnations – William McCune, Larry Wos - 1997
11 FINDER: Finite Domain Enumerator. Version 3.0 notes and guide – John Slaney - 1993
7 Otter 3.0 users guide – W W McCune - 1994
2 The Modula-2 Software Component Library – Charles Lins - 1989
24 Retrieving Library Identifiers via Equational Matching of Types – Mikael Rittri, Mikael Rittri - 1992
32 Specifications as Search Keys for Software Libraries – Eugene J. Rollins, Jeannette M. Wing - 1991