Julien Alexandre dit Sandretto, Alexandre Chapoutot, Christophe Garion, and Xavier Thirioux, “A Constraint Programming Approach for Polytopic Simulation of Ordinary Differential Equations”, Acta Cybern, Apr. 2024.