Follow
Cyril Terrioux
Cyril Terrioux
LIS UMR CNRS 7020 - Université d'Aix-Marseille
Verified email at univ-amu.fr - Homepage
Title
Cited by
Cited by
Year
Hybrid backtracking bounded by tree-decomposition of constraint networks
P Jégou, C Terrioux
Artificial Intelligence 146 (1), 43-75, 2003
2172003
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
672005
Bounded backtracking for the valued constraint satisfaction problems
C Terrioux, P Jégou
International Conference on Principles and Practice of Constraint …, 2003
602003
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
292014
A hybrid tractable class for non-binary CSPs
A El Mouelhi, P Jégou, C Terrioux
Constraints 20 (4), 383-413, 2015
272015
Tree-decompositions with connected clusters for solving constraint networks
P Jégou, C Terrioux
International Conference on Principles and Practice of Constraint …, 2014
262014
Dynamic Heuristics for Backtrack Search on Tree-Decomposition of CSPs.
P Jégou, S Ndiaye, C Terrioux
IJCAI, 112-117, 2007
232007
Kissat MAB: Combining VSIDS and CHB through Multi-Armed Bandit
MS Cherif, D Habet, C Terrioux
SAT COMPETITION 2021, 15, 2021
222021
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
202016
Combining VSIDS and CHB Using Restarts in SAT
MS Cherif, D Habet, C Terrioux
27th International Conference on Principles and Practice of Constraint …, 2021
182021
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
182015
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
182014
Dynamic management of heuristics for solving structured CSPs
P Jégou, SN Ndiaye, C Terrioux
International Conference on Principles and Practice of Constraint …, 2007
182007
The Extendable-Triple Property: A New CSP Tractable Class beyond BTP.
P Jégou, C Terrioux
AAAI, 3746-3754, 2015
172015
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
152019
Combining restarts, nogoods and bag-connected decompositions for solving CSPs
P Jégou, C Terrioux
Constraints 22 (2), 191-229, 2017
152017
An algorithmic framework for decomposing constraint networks
P Jégou, H Kanso, C Terrioux
2015 IEEE 27th International Conference on Tools with Artificial …, 2015
152015
Some new tractable classes of csps and their relations with backtracking algorithms
AE Mouelhi, P Jégou, C Terrioux, B Zanuttini
International Conference on Integration of Constraint Programming …, 2013
152013
The system can't perform the operation now. Try again later.
Articles 1–20