SAT Modulo Differential Equation Simulations
From MaRDI portal
Publication:6487261
DOI10.1007/978-3-030-50995-8_5zbMATH Open1511.68319MaRDI QIDQ6487261
Stefan Ratschan, Tomáš Kolárik
Publication date: 9 November 2022
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Floating-point arithmetic in the Coq system
- A Model-Constructing Satisfiability Calculus
- Satisfiability Modulo Theories
- Solving SAT and SAT Modulo Theories
- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
- Introduction to Interval Analysis
- Splitting on Demand in SAT Modulo Theories
Related Items (3)
Examples of the investigation of differential equations with modularized programs ⋮ Railway scheduling using Boolean satisfiability modulo simulations ⋮ SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
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)
