Micha Janssen, Pascal Van Hentenryck, Yves Deville. Optimal Pruning in Parametric Differential Equations. In Toby Walsh, editor, Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings. Volume 2239 of Lecture Notes in Computer Science, pages 539-553, Springer, 2001. [doi]
Abstract is missing.