Extending resolution for model construction
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 153-169
- https://doi.org/10.1007/bfb0018439
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Solving disequations in equational theoriesPublished by Springer Nature ,2005
- Constrained equational reasoningPublished by Association for Computing Machinery (ACM) ,1989
- Some tools for an inference laboratory (ATINF)Published by Springer Nature ,1988
- Constraint logic programmingPublished by Association for Computing Machinery (ACM) ,1987
- Equality-based binary resolutionJournal of the ACM, 1986
- Automated deduction by theory resolutionJournal of Automated Reasoning, 1985
- Open Questions Solved with the Assistance of AURAContemporary Mathematics, 1984
- Automated Theorem Proving: After 25 YearsContemporary Mathematics, 1984
- Generation and Verification of Finite Models and Counterexamples Using an Automated Theorem Prover Answering Two Open QuestionsJournal of the ACM, 1982
- Resolution Strategies as Decision ProceduresJournal of the ACM, 1976