Decision procedures using model building techniques
From MaRDI portal
Publication:6560165
DOI10.1007/3-540-61377-3_35zbMATH Open1540.03022MaRDI QIDQ6560165FDOQ6560165
Authors: Ricardo Caferra, Nicolas Peltier 
Publication date: 21 June 2024
Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Cites Work
- Automatic Theorem Proving With Renamable and Semantic Resolution
- Title not available (Why is that?)
- Proof theory in the USSR 1925–1969
- Title not available (Why is that?)
- Resolution Strategies as Decision Procedures
- Title not available (Why is that?)
- Title not available (Why is that?)
- Using resolution for deciding solvable classes and building finite models
- Resolution methods for the decision problem
- Title not available (Why is that?)
- A method for simultaneous search for refutations and models by equational constraint solving
- Experiments with semantic paramodulation
This page was built for publication: Decision procedures using model building techniques
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6560165)
