Satisfiability modulo theories and assignments

DOI10.1007/978-3-319-63046-5_4MaRDI QIDQ2405239zbMATH OpenOpenAlexFDO

Authors Maria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar

Publication date 22 September 2017

Full work available at URL https://doi.org/10.1007/978-3-319-63046-5_4

zbMATH Keywords

model buildingtheory combinationsatisfiability modulo assignmentconflict-driven decision procedures

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in computer science (03B70)

Recommendations

• Conflict-driven satisfiability for theory combination: transition system and completeness
• Theory combination: beyond equality sharing
• From Propositional Satisfiability to Satisfiability Modulo Theories
• Unions of non-disjoint theories and combinations of satisfiability procedures
• scientific article; zbMATH DE number 1140675

Cited in

(17)

• Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs
• An experiment with satisfiability modulo SAT
• Solving bitvectors with MCSAT: explanations from bits and pieces
• Theory combination: beyond equality sharing
• Reasoning about vectors: satisfiability modulo a theory of sequences
• Conflict-driven satisfiability for theory combination: transition system and completeness
• A framework for satisfiability modulo theories
• Satisfiability modulo transcendental functions via incremental linearization
• Unifying splitting
• Solving constraint satisfaction problems with SAT modulo theories
• Modal Satisfiability via SMT Solving
• Satisfiability on mixed instances
• Generalized Davis-Putnam and satisfiability problems in mathematics
• A conflict-driven solving procedure for poly-power constraints
• SAT-Inspired Eliminations for Superposition
• A unifying splitting framework
• ALASCA: reasoning in quantified linear arithmetic

This page was built for publication: Satisfiability modulo theories and assignments

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