Towards a Generic Interval Solver for Differential-Algebraic CSP.
Simon RohouAbderahmane BedouheneGilles ChabertAlexandre GoldsztejnLuc JaulinBertrand NeveuVictor ReyesGilles TrombettoniPublished in: CP (2020)
Keyphrases
- constraint satisfaction problems
- interval arithmetic
- constraint propagation
- constraint solving
- constraint satisfaction
- constraint solver
- constraint programming
- tree decomposition
- constraint solvers
- higher order
- domain specific
- decomposition methods
- solving constraint satisfaction problems
- clause learning
- hard constraints
- generic model
- tree search
- arc consistency
- algebraic structure
- constraint graph
- np complete
- state space
- backtracking search
- special case