A Tutorial on Satisfiability Modulo Theories

DOI10.1007/978-3-540-73368-3_5MaRDI QIDQ5429314zbMATH OpenOpenAlexFDO

Authors Leonardo de Moura, Bruno Dutertre, Natarajan Shankar

Publication date 29 November 2007

Published in Computer Aided Verification (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73368-3_5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Satisfiability modulo theories
• A survey of satisfiability modulo theory
• Satisfiability checking: theory and applications
• Computer Aided Verification
• Foundations of satisfiability modulo theories

Cited in

(29)

• scientific article; zbMATH DE number 5493266 (Why is no real title available?)
• Making the best of limited memory in multi-player discounted sum games
• Accelerating logic-based benders decomposition for railway rescheduling by exploiting similarities in delays
• Taking satisfiability to the next level with Z3 (abstract)
• Designing theory solvers with extensions
• An experiment with satisfiability modulo SAT
• Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking
• Lazy satisfiability modulo theories
• Satisfiability: where Theory meets Practice (Invited Talk).
• Satisfiability modulo theories: an appetizer
• Reasoning about vectors: satisfiability modulo a theory of sequences
• A framework for satisfiability modulo theories
• Verification conditions for source-level imperative programs
• Certifying low-level programs with hardware interrupts and preemptive threads
• A Progressive Simplifier for Satisfiability Modulo Theories
• A logic-based Benders decomposition for microscopic railway timetable planning
• Satisfiability checking: theory and applications
• A survey of satisfiability modulo theory
• Satisfiability modulo theories
• Challenges in Satisfiability Modulo Theories
• The problem of checking the satisfiability of formulae of decidable theories (survey)
• The mechanical verification of a DPLL-based satisfiability solver
• SAT-solving in practice, with a tutorial example from supervisory control
• Foundations of satisfiability modulo theories
• Tools and Algorithms for the Construction and Analysis of Systems
• Precise and complete propagation based local search for satisfiability modulo theories
• Computer Aided Verification
• Beyond satisfiability: extensions and applications
• Bitwuzla

Describes a project that uses

Uses Software

• FOCI
• Chaff
• SATO
• Siege
• Walksat
• MiniSat

This page was built for publication: A Tutorial on Satisfiability Modulo Theories

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