Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis
From MaRDI portal
Publication:5387917
DOI10.1007/11916277_36zbMath1165.68483WikidataQ62041341 ScholiaQ62041341MaRDI QIDQ5387917
Anders Franzen, Alessandro Cimatti, Roberto Sebastiani, Roberto Bruttomesso, Alberto Griggio
Publication date: 27 May 2008
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11916277_36
03B35: Mechanization of proofs and logical operations
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Combining Decision Procedures by (Model-)Equality Propagation, Efficient Interpolant Generation in Satisfiability Modulo Theories, Combining decision procedures by (model-)equality propagation, Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis, Combination of convex theories: modularity, deduction completeness, and explanation, Model-based Theory Combination, Verifying Heap-Manipulating Programs in an SMT Framework
Uses Software