Decision procedures using model building techniques
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 130-144
- https://doi.org/10.1007/3-540-61377-3_35
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Using resolution for deciding solvable classes and building finite modelsPublished by Springer Nature ,2005
- Model building and interactive theory discoveryPublished by Springer Nature ,1995
- Model building by resolutionPublished by Springer Nature ,1993
- Resolution Methods for the Decision ProblemPublished by Springer Nature ,1993
- A method for simultaneous search for refutations and models by equational constraint solvingJournal of Symbolic Computation, 1992
- Proof theory in the USSR 1925–1969The Journal of Symbolic Logic, 1991
- Experiments with semantic paramodulationJournal of Automated Reasoning, 1985
- Decision Problems in Predicate LogicPublished by Elsevier ,1984
- Resolution Strategies as Decision ProceduresJournal of the ACM, 1976
- Automatic Theorem Proving With Renamable and Semantic ResolutionJournal of the ACM, 1967