33 Basic Test Problems: A Practical Evaluation of Some Paramodulation Strategies (1996)

by William Mccune
Citations:24 - 5 self

Active Bibliography

6 Experiments With Subdivision of Search in Distributed Theorem Proving – Maria Paola Bonacina - 1997
111 Paramodulation-Based Theorem Proving – Robert Nieuwenhuis, Albert Rubio - 1999
44 Otter: The CADE-13 Competition Incarnations – William McCune, Larry Wos - 1997
129 Solution of the Robbins Problem – William Mccune - 1997
3 Theorem Proving with Transitive Relations from a Practical Point of View – W. Marco Schorlemmer, Jaume Agusti - 1995
1 Well-Behaved Search and the Robbins Problem – William Mccune - 1997
30 Equational Inference, Canonical Proofs, And Proof Orderings – Leo Bachmair, Nachum Dershowitz - 1992
121 Completion Without Failure – Leo Bachmair, Nachum Dershowitz, David A. Plaisted - 1989
6 A New Procedural Interpretation of Horn Clauses with Equality – Anatoli Degtyarev, Andrei Voronkov - 1994
10 On Using Ground Joinable Equations in Equational Theorem Proving – J. Avenhaus, T. Hillenbrand, B. Löchner - 2000
2 Local Simplification – Christopher Lynch, Inria Lorraine Et Crin - 1994
3 Cancellative Abelian Monoids in Refutational Theorem Proving. Dissertation, Universitat des Saarlandes – Uwe Waldmann - 1997
5 AC-complete Unification and its Application to Theorem Proving – Alexandre Boudet, Re Boudet, Claude Marché, Evelyne Contejean - 1996
11 On Simultaneous Rigid E-Unification – Margus Veanes - 1997
11 Paramodulation with Built-in AC-Theories and Symbolic Constraints – Robert Nieuwenhuis, Albert Rubio - 1996
Automated Deduction in Equational Logic and Geometry – William Mccune, R. Padmanabhan - 1995
and – George Robinson, Lawrence Wos
26 The Applications of Theorem Proving to Question-Answering Systems – Claude Cordell Green, Arpa Order No, Claude Cordell Green, Claude Cordell Green - 1969
1 Conditional Equational Theories and Complete Sets of Transformations – Steffen Hölldobler, Technische Hochschule Darmstadt