Decision procedures using model building techniques

DOI10.1007/3-540-61377-3_35MaRDI QIDQ6560165zbMATHFDO

Authors Ricardo Caferra, Nicolas Peltier

Publication date 21 June 2024

Mathematics Subject Classification ID

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)

Recommendations

• scientific article; zbMATH DE number 515732
• Publication:4503902
• Hyperresolution and automated model building
• scientific article; zbMATH DE number 549974
• Automated model building

Cites work

• scientific article; zbMATH DE number 440110 (Why is no real title available?)
• scientific article; zbMATH DE number 3885864 (Why is no real title available?)
• scientific article; zbMATH DE number 3657754 (Why is no real title available?)
• scientific article; zbMATH DE number 3715502 (Why is no real title available?)
• scientific article; zbMATH DE number 515732 (Why is no real title available?)
• A method for simultaneous search for refutations and models by equational constraint solving
• Automatic Theorem Proving With Renamable and Semantic Resolution
• Experiments with semantic paramodulation
• Proof theory in the USSR 1925–1969
• Resolution Strategies as Decision Procedures
• Resolution methods for the decision problem
• Using resolution for deciding solvable classes and building finite models

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)