TY - RPRT TI - Runge-Kutta Theory and Constraint Programming AU - Julien Alexandre dit Sandretto PY - 2018 UR - https://arxiv.org/abs/1804.04847 ID - 1804.04847 ER -