Decision procedures using model building techniques

DOI10.1007/3-540-61377-3_35zbMATH Open1540.03022MaRDI QIDQ6560165FDOQ6560165

Authors: Ricardo Caferra, Nicolas Peltier 

Publication date: 21 June 2024

Recommendations

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

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)

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)