METEORs: High Performance Theorem Provers using Model Elimination
- 1 January 1991
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Challenge problems in elementary calculusJournal of Automated Reasoning, 1990
- Short proofs of the pigeonhole formulas based on the connection methodJournal of Automated Reasoning, 1990
- Scalable Parallel Formulations of Depth-First SearchPublished by Springer Nature ,1990
- Depth-first iterative-deepeningArtificial Intelligence, 1985
- The intractability of resolutionTheoretical Computer Science, 1985
- The relative efficiency of propositional proof systemsThe Journal of Symbolic Logic, 1979
- Concurrency of operations on B-treesActa Informatica, 1977
- An Implementation of the Model Elimination Proof ProcedureJournal of the ACM, 1974
- Linear resolution with selection functionArtificial Intelligence, 1972
- Mechanical Theorem-Proving by Model EliminationJournal of the ACM, 1968