SAT Modulo Differential Equation Simulations

DOI10.1007/978-3-030-50995-8_5MaRDI QIDQ6487261zbMATH OpenFDO

Authors Tomáš Kolárik, Stefan Ratschan

Publication date 9 November 2022

Full work available at URL https://doi.org/10.1007/978-3-030-50995-8_5

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to ordinary differential equations (34-04) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• SAT modulo linear arithmetic for solving polynomial constraints
• SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
• scientific article; zbMATH DE number 1954175
• SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers
• Solving constraint satisfaction problems with SAT modulo theories
• On SAT Modulo Theories and Optimization Problems
• Qualitative simulation of differential equations
• Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods
• SAT modulo intuitionistic implications

Cites work

• A model-constructing satisfiability calculus
• A survey on continuous time computations
• Floating-point arithmetic in the Coq system
• Heuristic search. Theory and applications
• scientific article; zbMATH DE number 4041188 (Why is no real title available?)
• Introduction to Interval Analysis
• SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
• Satisfiability modulo theories
• Solving SAT and SAT modulo theories, from an abstract Davis-Putnam-Logemann-Loveland procedure to \(\operatorname{DPLL}(T)\)
• Splitting on Demand in SAT Modulo Theories

Cited in

(3)

• Examples of the investigation of differential equations with modularized programs
• SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
• Railway scheduling using Boolean satisfiability modulo simulations

This page was built for publication: SAT Modulo Differential Equation Simulations

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