scientific article; zbMATH DE number 1956606

zbMATH Open1031.68585MaRDI QIDQ4417954FDOQ4417954

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (10)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Canonization for disjoint unions of theories
• Title not available (Why is that?)
• Strategies for combining decision procedures
• On Shostak's decision procedure for combinations of theories
• A general setting for flexibly combining and augmenting decision procedures
• Deduction, strategies, and rewriting
• Combination of convex theories: modularity, deduction completeness, and explanation
• An efficient Nelson-Oppen decision procedure for difference constraints over rationals

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)