Mohammed Saïd Belaid

According to our database, Mohammed Saïd Belaid authored at least 2 papers between 2012 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

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

PhD thesis, 2013

2012

Boosting Local Consistency Algorithms over Floating-Point Numbers.

Mohammed Saïd Belaid, Claude Michel, Michel Rueher

Proceedings of the Principles and Practice of Constraint Programming, 2012