Hybrid backtracking bounded by tree-decomposition of constraint networks P Jégou, C Terrioux Artificial Intelligence 146 (1), 43-75, 2003 | 217 | 2003 |
Computing and exploiting tree-decompositions for solving constraint networks P Jégou, SN Ndiaye, C Terrioux International Conference on Principles and Practice of Constraint …, 2005 | 67 | 2005 |
Bounded backtracking for the valued constraint satisfaction problems C Terrioux, P Jégou International Conference on Principles and Practice of Constraint …, 2003 | 60 | 2003 |
Decomposition and good recording for solving Max-CSPs P Jégou, C Terrioux Proceedings of the 16th European Conference on Artificial Intelligence, 196-200, 2004 | 56* | 2004 |
On Broken Triangles. MC Cooper, A El Mouelhi, C Terrioux, B Zanuttini IJCAI, 4135-4139, 2016 | 45* | 2016 |
On broken triangles MC Cooper, AE Mouelhi, C Terrioux, B Zanuttini International Conference on Principles and Practice of Constraint …, 2014 | 29 | 2014 |
A hybrid tractable class for non-binary CSPs A El Mouelhi, P Jégou, C Terrioux Constraints 20 (4), 383-413, 2015 | 27 | 2015 |
Tree-decompositions with connected clusters for solving constraint networks P Jégou, C Terrioux International Conference on Principles and Practice of Constraint …, 2014 | 26 | 2014 |
Dynamic Heuristics for Backtrack Search on Tree-Decomposition of CSPs. P Jégou, S Ndiaye, C Terrioux IJCAI, 112-117, 2007 | 23 | 2007 |
Kissat MAB: Combining VSIDS and CHB through Multi-Armed Bandit MS Cherif, D Habet, C Terrioux SAT COMPETITION 2021, 15, 2021 | 22 | 2021 |
Broken triangles: From value merging to a tractable class of general-arity constraint satisfaction problems MC Cooper, A Duchein, A El Mouelhi, G Escamocher, C Terrioux, ... Artificial Intelligence 234, 196-218, 2016 | 20 | 2016 |
Combining VSIDS and CHB Using Restarts in SAT MS Cherif, D Habet, C Terrioux 27th International Conference on Principles and Practice of Constraint …, 2021 | 19 | 2021 |
A microstructure-based family of tractable classes for CSPs MC Cooper, P Jégou, C Terrioux Principles and Practice of Constraint Programming: 21st International …, 2015 | 18 | 2015 |
Hidden tractable classes: from theory to practice A El Mouelhi, P Jégou, C Terrioux 2014 IEEE 26th International Conference on Tools with Artificial …, 2014 | 18 | 2014 |
Dynamic management of heuristics for solving structured CSPs P Jégou, SN Ndiaye, C Terrioux International Conference on Principles and Practice of Constraint …, 2007 | 18 | 2007 |
The Extendable-Triple Property: A New CSP Tractable Class beyond BTP. P Jégou, C Terrioux AAAI, 3746-3754, 2015 | 17 | 2015 |
A tree decomposition based approach to solve structured SAT instances D Habet, L Paris, C Terrioux 2009 21st IEEE International Conference on Tools with Artificial …, 2009 | 16 | 2009 |
Conflict history based search for constraint satisfaction problem D Habet, C Terrioux Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 1117-1122, 2019 | 15 | 2019 |
Combining restarts, nogoods and bag-connected decompositions for solving CSPs P Jégou, C Terrioux Constraints 22 (2), 191-229, 2017 | 15 | 2017 |
An algorithmic framework for decomposing constraint networks P Jégou, H Kanso, C Terrioux 2015 IEEE 27th International Conference on Tools with Artificial …, 2015 | 15 | 2015 |