Reasoning by Dominance in Not-Equals Binary Constraint Networks. - Belaid Benhamou; Mohamed Réda Saïdi (CP, 2006)

Local Symmetry Breaking During Search in CSPs. - Belaid Benhamou; Mohamed Réda Saïdi (CP, 2007)

Detecting and Eliminating Local Symmetry During Search in CSPs. - Belaid Benhamou; Mohamed Réda Saïdi (IICAI, 2007)

A New Incomplete Method for CSP Inconsistency Checking. - Belaid Benhamou; Mohamed Réda Saïdi (AAAI, 2008)

Enhancing Clause Learning by Symmetry in SAT Solvers. - Belaid Benhamou; Tarek Nabhani; Richard Ostrowski; Mohamed Réda Saïdi (ICTAI (1), 2010)