Otter: The CADE-13 Competition Incarnations (1997)

by William McCune , Larry Wos
Venue:JOURNAL OF AUTOMATED REASONING
Citations:44 - 3 self

Active Bibliography

100 The TPTP Problem Library – Christian B. Suttner, Geoff Sutcliffe - 1999
24 33 Basic Test Problems: A Practical Evaluation of Some Paramodulation Strategies – William Mccune - 1996
7 Automated Reasoning and Bledsoe's Dream for the Field – Larry Wos
Automated reasoning: Real uses and . . . – Larry Wos
1 Automated Equational Deduction with Otter – William Mccune, R. Padmanabhan - 1995
4 Uniform Strategies: The CADE-11 Theorem Proving Contest – Ewing L. Lusk, William W. Mccune - 1993
Computational Discovery in Pure Mathematics – Simon Colton
SINGLE AXIOMS: WITH AND WITHOUT COMPUTERS – William Mccune
3 Mechanical proofs of the Levi commutator problem – Maria Paola Bonacina - 1998
22 Automatic Proofs and Counterexamples for Some Ortholattice Identities – William Mccune - 1998
1 The Application of Automated Reasoning to Formal Models of Combinatorial Optimization – Paul Helman, Robert Veroff
An Entry in the 1992 Overbeek Theorem-Proving Contest – E. L. Lusk, W. W. Mccune - 1992
6 A New Method for Automated Finite Model Building Exploiting Failures and Symmetries – Nicolas Peltier - 1998
1 The Flowering of Automated Reasoning – Larry Wos - 2001
6 The power of combining resonance with heat – Larry Wos - 1996
PARALLEL UNIT RESULTING RESOLUTION – Christoph Meyer - 1996
Automated Deduction in Equational Logic and Geometry – William Mccune, R. Padmanabhan - 1995
27 Automated Deduction in Equational Logic and Cubic Curves – William McCune, R. Padmanabhan - 1996
Completeness of the LELS Inference Rule in Automated Theorem Proving – Chuen-hsuen Jeff Ho