A Constraint Satisfaction Approach to Parametric Differential Equations.
Micha JanssenPascal Van HentenryckYves DevillePublished in: IJCAI (2001)
Keyphrases
- constraint satisfaction
- differential equations
- constraint satisfaction problems
- ordinary differential equations
- dynamical systems
- numerical solution
- constraint propagation
- constraint programming
- constraint solving
- heuristic search
- constraint relaxation
- boundary value problem
- partial differential equations
- sat solvers
- constraint optimization
- arc consistency
- constraint networks
- constraint problems
- numerical methods
- computer vision
- robust fault detection
- difference equations
- russian doll search
- constrained problems
- product configuration
- natural images
- linear programming
- higher order
- pairwise