A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations.
Micha JanssenPascal Van HentenryckYves DevillePublished in: SIAM J. Numer. Anal. (2002)
Keyphrases
- constraint satisfaction
- ordinary differential equations
- combinatorial problems
- constraint satisfaction problems
- constraint programming
- differential equations
- constraint propagation
- heuristic search
- constraint relaxation
- dynamic systems
- configuration problems
- arc consistency
- partial differential equations
- mathematical models
- biological systems
- np complete
- search algorithm
- numerical solution
- robust fault detection
- systems of ordinary differential equations
- artificial intelligence
- exact solution
- optimal solution
- feature selection