Strategies for combining decision procedures

MaRDI QIDQ4417954zbMATH OpenFDO

Authors Sylvain Conchon, Sava Krstić

Publication date 30 July 2003

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

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Strategies for combining decision procedures
• Combining decision procedures.
• On Shostak's decision procedure for combinations of theories
• Combining Shostak theories
• scientific article; zbMATH DE number 1140674

Cited in

(11)

• Combination of convex theories: modularity, deduction completeness, and explanation
• A general setting for flexibly combining and augmenting decision procedures
• Strategies for combining decision procedures
• Canonization for disjoint unions of theories
• A framework for cooperating decision procedures
• An efficient Nelson-Oppen decision procedure for difference constraints over rationals
• Deduction, strategies, and rewriting
• scientific article; zbMATH DE number 1140674 (Why is no real title available?)
• On Shostak's decision procedure for combinations of theories
• Little engines of proof
• Formal verification of a combination decision procedure

This page was built for publication: Strategies for combining decision procedures

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