SAT Modulo Differential Equation Simulations

DOI10.1007/978-3-030-50995-8_5zbMATH Open1511.68319MaRDI QIDQ6487261FDOQ6487261

Stefan Ratschan, Tomáš Kolárik

Publication date: 9 November 2022

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

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)

Cites Work

• Introduction to Interval Analysis
• Title not available (Why is that?)
• Solving SAT and SAT Modulo Theories
• Splitting on Demand in SAT Modulo Theories
• A Model-Constructing Satisfiability Calculus
• Satisfiability Modulo Theories
• A survey on continuous time computations
• Floating-point arithmetic in the Coq system
• Title not available (Why is that?)
• SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems

Cited In (3)

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

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)