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

by William Mccune
Citations:24 - 5 self

Documents Related by Co-Citation

294 OTTER3.0 Reference Manual and Guide – William W. McCune - 1995
130 Solution of the Robbins Problem – William Mccune - 1997
66 Basic paramodulation and superposition – Leo Bachmair, Harald Ganzinger, Christopher Lynch, Wayne Snyder
26 New sets of independent postulates for the algebra of logic – E V Huntington - 1933
36 Discount: A system for distributed equational deduction – Jürgen Avenhaus, Jörg Denzinger, Matthias Fuchs - 1995
16 algebra: Conditions that make a near-Boolean algebra Boolean – Robbins - 1990
18 Boolean algebra. A correction – E V Huntington - 1933
58 M.: On word problems in equational theories – J Hsiang, Rusinowitch - 1987
108 User's Guide for mpich, a Portable Implementation of MPI Version 1.2.1 – William Gropp, Ewing Lusk - 1996
9 On the reconstruction of proofs in distributed theorem proving: a modified Clause-Diffusion method – Maria Paola Bonacina - 1996
15 Absorption and idempotency criteria for a problem in near-Boolean algebras – S Winker - 1992
18 Limited Resource Strategy in Resolution Theorem Proving – Alexandre Riazanov, Andrei Voronkov - 2000
122 Completion Without Failure – Leo Bachmair, Nachum Dershowitz, David A. Plaisted - 1989
20 Experiments with discrimination tree indexing and path indexing for term retrieval – W McCune - 1992
6 Experiments With Subdivision of Search in Distributed Theorem Proving – Maria Paola Bonacina - 1997
15 2002, Automated Theorem Proving – J Schumann
10 Recording and Analyzing Knowledge-Based Distributed Deduction Processes – Jörg Denzinger, Stephan Schulz - 1996
945 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
68 Basic Paramodulation – Leo Bachmair, Harald Ganzinger, Christopher Lynch, Wayne Snyder - 1995