Mohamed Réda Saïdi

According to our database, Mohamed Réda Saïdi authored at least 5 papers between 2006 and 2010.

Collaborative distances:

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

2010

Enhancing Clause Learning by Symmetry in SAT Solvers.

Belaid Benhamou, Tarek Nabhani, Richard Ostrowski, Mohamed Réda Saïdi

Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

2008

A New Incomplete Method for CSP Inconsistency Checking.

Belaid Benhamou, Mohamed Réda Saïdi

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Detecting and Eliminating Local Symmetry During Search in CSPs.

Belaid Benhamou, Mohamed Réda Saïdi

Proceedings of the 3rd Indian International Conference on Artificial Intelligence, 2007

Local Symmetry Breaking During Search in CSPs.

Belaid Benhamou, Mohamed Réda Saïdi

Proceedings of the Principles and Practice of Constraint Programming, 2007

2006

Reasoning by Dominance in Not-Equals Binary Constraint Networks.

Belaid Benhamou, Mohamed Réda Saïdi

Proceedings of the Principles and Practice of Constraint Programming, 2006