Choix de travaux à évaluer

1. Manuscrit de la thèse
2. Article de recherche: Solving constraints over floating point numbers, Claude Michel, Michel Rueher, Yahia Lebbah, Constraint Programming 2001, Paphos, Chypre, Novembre 2001.
3. Article de recherche: Exact projection functions for floating point number constraints, Claude Michel, 7th AIMA, Fort Lauderdale, Floride, Janvier 2002.

L'ensemble de ces documents est accessible sur le Web à l'addresse :
http://www-sop.inria.fr/hephaistos/Claude.Michel/dossier.html.