Ikuti
Cyril Terrioux
Cyril Terrioux
LIS UMR CNRS 7020 - Université d'Aix-Marseille
Email yang diverifikasi di univ-amu.fr - Beranda
Judul
Dikutip oleh
Dikutip oleh
Tahun
Hybrid backtracking bounded by tree-decomposition of constraint networks
P Jégou, C Terrioux
Artificial Intelligence 146 (1), 43-75, 2003
2162003
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
662005
Bounded backtracking for the valued constraint satisfaction problems
C Terrioux, P Jégou
International Conference on Principles and Practice of Constraint …, 2003
592003
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
57*2004
On Broken Triangles.
MC Cooper, A El Mouelhi, C Terrioux, B Zanuttini
IJCAI, 4135-4139, 2016
44*2016
On broken triangles
MC Cooper, AE Mouelhi, C Terrioux, B Zanuttini
International Conference on Principles and Practice of Constraint …, 2014
302014
Tree-decompositions with connected clusters for solving constraint networks
P Jégou, C Terrioux
International Conference on Principles and Practice of Constraint …, 2014
272014
A hybrid tractable class for non-binary CSPs
A El Mouelhi, P Jégou, C Terrioux
Constraints 20 (4), 383-413, 2015
252015
Kissat MAB: Combining VSIDS and CHB through Multi-Armed Bandit
MS Cherif, D Habet, C Terrioux
SAT COMPETITION 2021, 15, 2021
242021
Dynamic Heuristics for Backtrack Search on Tree-Decomposition of CSPs.
P Jégou, S Ndiaye, C Terrioux
IJCAI, 112-117, 2007
232007
Combining VSIDS and CHB Using Restarts in SAT
MS Cherif, D Habet, C Terrioux
27th International Conference on Principles and Practice of Constraint …, 2021
212021
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
192015
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
182016
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
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
172009
Dynamic management of heuristics for solving structured CSPs
P Jégou, SN Ndiaye, C Terrioux
International Conference on Principles and Practice of Constraint …, 2007
172007
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
162019
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
The Extendable-Triple Property: A New CSP Tractable Class beyond BTP.
P Jégou, C Terrioux
AAAI, 3746-3754, 2015
152015
Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.
Artikel 1–20