scientific article; zbMATH DE number 2086596

MaRDI QIDQ4737130zbMATH OpenFDO

Authors Clark Barrett, Aaron Stump, David L. Dill

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2309/23090132.htm

Mathematics Subject Classification ID

Recommendations

• On Shostak's decision procedure for combinations of theories
• scientific article; zbMATH DE number 2090060
• scientific article; zbMATH DE number 2090312
• scientific article; zbMATH DE number 3898849
• Combining decision procedures.

Cited in

(19)

• Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis
• Solving quantified verification conditions using satisfiability modulo theories
• Combination of convex theories: modularity, deduction completeness, and explanation
• A general setting for flexibly combining and augmenting decision procedures
• Polite combination of algebraic datatypes
• Conflict-driven satisfiability for theory combination: transition system and completeness
• Strategies for combining decision procedures
• Efficient theory combination via Boolean search
• Canonization for disjoint unions of theories
• Interpolation systems for ground proofs in automated deduction: a survey
• Optimization modulo theories with linear rational costs
• Combining equational reasoning
• Combining decision procedures by (model-)equality propagation
• scientific article; zbMATH DE number 2090084 (Why is no real title available?)
• A New approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method
• Shininess, strong politeness, and unicorns
• Combining combination properties. I: Nelson-Oppen and politeness
• Combining combination properties: minimal models
• Combining nonstably infinite theories

Describes a project that uses

Uses Software

• PVS

This page was built for publication:

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