Model building by resolution
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 134-148
- https://doi.org/10.1007/3-540-56992-8_10
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Using resolution for deciding solvable classes and building finite modelsPublished by Springer Nature ,2005
- Extending resolution for model constructionPublished by Springer Nature ,1991
- Deciding Horn classes by hyperresolutionPublished by Springer Nature ,1990
- SATCHMO: A theorem prover implemented in PrologPublished by Springer Nature ,1987
- Generation and Verification of Finite Models and Counterexamples Using an Automated Theorem Prover Answering Two Open QuestionsJournal of the ACM, 1982
- Canonical Forms and Unification.Published by Defense Technical Information Center (DTIC) ,1980
- Resolution Strategies as Decision ProceduresJournal of the ACM, 1976