FaCiLe: a Functional Constraint Library, CICLOPS'01, 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-00938018
Revising hull and box consistency Automatic aircraft conflict resolution using Genetic Algorithms, Proceedings of the 16th International Conference on Logic Programming (ICLP'99) 11th annual ACM conference on applied computing, pp.230-244, 1995. ,
Optimal Resolution of En Route conflicts, Séminaire Europe, 1997. ,
URL : https://hal.archives-ouvertes.fr/hal-00938232
Box consistency through weak box consistency, Proceedings 11th International Conference on Tools with Artificial Intelligence, pp.373-380, 1999. ,
DOI : 10.1109/TAI.1999.809826
Filib++ -Interval Library, Specification and Reference Manual Comparison of packages for interval arithmetic, Zil05] Julius Zilinskas, pp.145-154, 2001. ,