Mohamed Réda Saïdi

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Publications

Belaid Benhamou, Tarek Nabhani, Richard Ostrowski, Mohamed Réda Saïdi
Enhancing Clause Learning by Symmetry in SAT Solvers. ICTAI (1) (2010)
Belaid Benhamou, Mohamed Réda Saïdi
A New Incomplete Method for CSP Inconsistency Checking. AAAI (2008)
Belaid Benhamou, Mohamed Réda Saïdi
Local Symmetry Breaking During Search in CSPs. CP (2007)
Belaid Benhamou, Mohamed Réda Saïdi
Detecting and Eliminating Local Symmetry During Search in CSPs. IICAI (2007)
Belaid Benhamou, Mohamed Réda Saïdi
Reasoning by Dominance in Not-Equals Binary Constraint Networks. CP (2006)