2008 | ||
---|---|---|
4 | Belaid Benhamou, Mohamed Réda Saïdi: A New Incomplete Method for CSP Inconsistency Checking. AAAI 2008: 229-234 | |
2007 | ||
3 | EE | Belaid Benhamou, Mohamed Réda Saïdi: Local Symmetry Breaking During Search in CSPs. CP 2007: 195-209 |
2 | Belaid Benhamou, Mohamed Réda Saïdi: Detecting and Eliminating Local Symmetry During Search in CSPs. IICAI 2007: 151-166 | |
2006 | ||
1 | EE | Belaid Benhamou, Mohamed Réda Saïdi: Reasoning by Dominance in Not-Equals Binary Constraint Networks. CP 2006: 670-674 |
1 | Belaid Benhamou | [1] [2] [3] [4] |