scientific article; zbMATH DE number 1956606

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
• scientific article; zbMATH DE number 2090060
• scientific article; zbMATH DE number 1140674

Cited in

(10)

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

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 Q4417954)