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

conflict-driven decision proceduresmodel buildingsatisfiability modulo assignmenttheory combination

Mathematics Subject Classification ID

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

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

(18)

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

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)