Follow
Mohammed Said Belaid
Mohammed Said Belaid
Université des Sciences et de la Technologie d'Oran
Verified email at i3s.unice.fr - Homepage
Title
Cited by
Cited by
Year
Boosting local consistency algorithms over floating-point numbers
MS Belaid, C Michel, M Rueher
International Conference on Principles and Practice of Constraint …, 2012
292012
Résolution de contraintes sur les flottants dédiée à la vérification de programmes
M Belaid
Université Nice Sophia Antipolis, 2013
52013
Approximating floating-point operations to verify numerical programs
MRMS Belaid, C Michel, M RUEHER
14th GAMM-IMACS International Symposium on Scientific Computing, Computer …, 2010
32010
Un nouvel algorithme de consistance locale sur les nombres flottants
MS BELAID, C MICHEL, M RUEHER
12010
Boosting domain filtering over floating-point numbers with safe linear approximations
MS Belaid, C Michel, M Rueher
2011
Résolution de contraintes sur les nombres à virgule flottante par une approximation sur les nombres réels
MS Belaid, C Michel, M Rueher
JFPC 2010-Sixièmes Journées Francophones de Programmation par Contraintes, 51-60, 2010
2010
Evaluation incrémentale des contraintes OCL
BM Saïd, R Fleurquin, O Barais
2009
The system can't perform the operation now. Try again later.
Articles 1–7