Boosting Local Consistency Algorithms over Floating-Point Numbers. - Mohammed Saïd Belaid; Claude Michel; Michel Rueher (CP, 2012)

Résolution de contraintes sur les flottants dédiée à la vérification de programmes. (Constraint solver over floating-point numbers designed for program verification). - Mohammed Saïd Belaid (2013)