SAT Modulo Differential Equation Simulations.
Tomás KolárikStefan RatschanPublished in: TAP@STAF (2020)
Keyphrases
- differential equations
- dynamical systems
- numerical solution
- brownian motion
- initial conditions
- difference equations
- boundary value problem
- satisfiability problem
- ordinary differential equations
- numerical simulations
- partial differential equations
- phase transition
- sat solvers
- continuous functions
- nonlinear differential equations
- numerical methods
- image processing
- machine learning
- fixed point
- genetic algorithm