Resolution Theorem Proving
Top Cited Papers
- 1 January 2001
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 23 references indexed in Scilit:
- Gentzen-type systems, resolution and tableauxJournal of Automated Reasoning, 1993
- Resolution Methods for the Decision ProblemPublished by Springer Nature ,1993
- Symbolic Boolean manipulation with ordered binary-decision diagramsACM Computing Surveys, 1992
- Termination of rewritingJournal of Symbolic Computation, 1987
- Refutational theorem proving using term-rewriting systemsArtificial Intelligence, 1985
- Resolution Strategies as Decision ProceduresJournal of the ACM, 1976
- Proving Theorems with the Modification MethodSIAM Journal on Computing, 1975
- A machine program for theorem-provingCommunications of the ACM, 1962
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960
- A Proof Method for Quantification Theory: Its Justification and RealizationIBM Journal of Research and Development, 1960