Combining Proof-Producing Decision Procedures

DOI10.1007/978-3-540-74621-8_16MaRDI QIDQ3525013zbMATH OpenOpenAlexFDO

Authors Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran

Publication date 16 September 2008

Published in Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL http://edoc.mpg.de/356492

Mathematics Subject Classification ID

Recommendations

• Combination of convex theories: modularity, deduction completeness, and explanation
• Unions of non-disjoint theories and combinations of satisfiability procedures
• scientific article; zbMATH DE number 2090060
• scientific article; zbMATH DE number 1140674
• scientific article; zbMATH DE number 2086589

Cited in

(6)

• Combination of convex theories: modularity, deduction completeness, and explanation
• Strategies for combining decision procedures
• A study of an integrated proof strategy
• scientific article; zbMATH DE number 2090084 (Why is no real title available?)
• Combining Decision Procedures by (Model-)Equality Propagation
• Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs

This page was built for publication: Combining Proof-Producing Decision Procedures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3525013)