Runge-Kutta Theory and Constraint Programming.
Julien Alexandre Dit SandrettoPublished in: CoRR (2018)
Keyphrases
- constraint programming
- constraint propagation
- combinatorial problems
- constraint satisfaction problems
- constraint satisfaction
- integer programming
- search strategies
- symmetry breaking
- column generation
- global constraints
- arc consistency
- constraint solving
- constraint logic programming
- finite domain
- search heuristics
- runge kutta
- differential equations
- constraint solver
- algebraic geometry
- lower bound