SATCHMO: A theorem prover implemented in Prolog
- 31 December 1987
- book chapter
- Published by Springer Nature
- p. 415-434
- https://doi.org/10.1007/bfb0012847
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A uniform approach to constraint satisfaction and constraint satisfiability in deductive databasesPublished by Springer Nature ,1988
- A Hyperresolution-based Proof Procedure and Its Implementation in PrologPublished by Springer Nature ,1987
- Seventy-five problems for testing automatic theorem proversJournal of Automated Reasoning, 1986
- Paths to high-performance automated theorem provingPublished by Springer Nature ,1986
- Schubert's Steamroller problem: Formulations and solutionsJournal of Automated Reasoning, 1986
- A mechanical solution of Schubert's Steamroller by many-sorted resolutionArtificial Intelligence, 1985
- A Prolog technology theorem proverNew Generation Computing, 1984
- Logic for improving integrity checking in relational data bases?Acta Informatica, 1982
- First-Order LogicPublished by Springer Nature ,1968