| 2020 | IJCAI | Variable Elimination in Binary CSPs (Extended Abstract). | Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux |
| 2017 | AAAI | A BTP-Based Family of Variable Elimination Rules for Binary CSPs. | Achref El Mouelhi |
| 2016 | CP | Extending Broken Triangles and Enhanced Value-Merging. | Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux |
| 2016 | IJCAI | On Broken Triangles. | Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux, Bruno Zanuttini |
| 2016 | ICTAI | Constraint Decomposition Based on Tractable Properties. | Achref El Mouelhi |
| 2015 | ICTAI | On the Decomposition of Non-binary Constraint into Equivalent Binary Constraints. | Achref El Mouelhi |
| 2014 | CP | On Broken Triangles. | Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux, Bruno Zanuttini |
| 2014 | ICTAI | Hidden Tractable Classes: From Theory to Practice. | Achref El Mouelhi, Philippe Jgou, Cyril Terrioux |
| 2013 | CPAIOR | Some New Tractable Classes of CSPs and Their Relations with Backtracking Algorithms. | Achref El Mouelhi, Philippe Jgou, Cyril Terrioux, Bruno Zanuttini |
| 2013 | ICTAI | A Hybrid Tractable Class for Non-binary CSPs. | Achref El Mouelhi, Philippe Jgou, Cyril Terrioux |
| 2012 | ISAIM | On the Efficiency of Backtracking Algorithms for Binary Constraint Satisfaction Problems. | Achref El Mouelhi, Philippe Jgou, Cyril Terrioux, Bruno Zanuttini |