Clément Carbonnel

I am a CNRS researcher in the COCONUT group of the LIRMM laboratory (Montpellier, France). I am interested in the algorithmic and complexity-theoretic aspects of the constraint satisfaction problem.

I completed my Ph.D. in 2016 at LAAS-CNRS (Toulouse, France) under the joint supervision of Emmanuel Hebrard and Martin C. Cooper. Afterwards, I spent two years as a postdoc of Standa Živný at the University of Oxford before joining CNRS in 2019. 


Contact

firstname.lastname@lirmm.fr

Office E3.08
LIRMM
161 rue Ada
34095 Montpellier
France


Publications

Conference papers

Julien Rouzot, Christian Artigues, Clément Carbonnel, Philippe Garnier, Emmanuel Hebrard, Pierre Lopez and Bertrand Simon. Scheduling data transfers with priorities for space missions. CPAIOR'26. [PDF]
Christian Bessiere, Clément Carbonnel and Areski Himeur. Learning compact representations of constraint networks. ECAI'25. [PDF]
Martin C. Cooper, Imane Bousdira and Clément Carbonnel. Interpretable DNFs. IJCAI'25. [PDF], see [arXiv] for the full version.
Clément Carbonnel, Martin C. Cooper and João Marques-Silva. Tractable explaining of multivariate decision trees. KR'23. [PDF]
Christian Bessiere, Clément Carbonnel and Areski Himeur. Learning constraint networks over unknown constraint languages. IJCAI'23. [PDF]
Clément Carbonnel. On redundancy in constraint satisfaction problems. CP'22. [PDF]
Christian Bessiere, Clément Carbonnel, Martin C. Cooper and Emmanuel Hebrard. Complexity of minimum-size arc-inconsistency explanations. CP'22. [PDF]
Christian Bessiere, Clément Carbonnel and George Katsirelos. Chain length and CSPs learnable with few queries. AAAI'20. [PDF]
Clément Carbonnel, Miguel Romero and Stanislav Živný. Point-width and Max-CSPs. LICS'19. [PDF], see [arXiv] for the full version.
Clément Carbonnel, Miguel Romero and Stanislav Živný. The complexity of general-valued CSPs seen from the other side. FOCS'18. [PDF], see [arXiv] for the full version.
Clément Carbonnel, David A. Cohen, Martin C. Cooper and Stanislav Živný. On singleton arc consistency for CSPs defined by monotone patterns. STACS'18. [PDF]
Clément Carbonnel and Emmanuel Hebrard. On the kernelization of global constraints. IJCAI'17. [PDF]
Clément Carbonnel. The dichotomy for conservative constraint satisfaction is polynomially decidable. CP'16. [PDF]
Clément Carbonnel and Emmanuel Hebrard. Propagation via kernelization: the vertex cover constraint. CP'16. [PDF]
Clément Carbonnel. The meta-problem for conservative Mal'tsev constraints. AAAI'16. [PDF]
Clément Carbonnel, Martin C. Cooper and Emmanuel Hebrard. On backdoors to tractable constraint languages. CP'14. [PDF]
Clément Carbonnel, Gilles Chabert, Gilles Trombettoni and Philippe Vismara. Q-intersection algorithms for constraint-based robust parameter estimation. AAAI'14. [PDF]
Christian Bessiere, Clément Carbonnel, Emmanuel Hebrard, George Katsirelos and Toby Walsh. Detecting and exploiting subproblem tractability. IJCAI'13. [PDF] 

Journal papers

Clément Carbonnel, Martin C. Cooper, Emmanuel Hebrard, Dany Morales and João Marques-Silva. Explaining multivariate decision trees: characterising tractable languages. Journal of Artificial Intelligence Research, 2026. [PDF]
Christian Bessiere, Clément Carbonnel, Martin C. Cooper and Emmanuel Hebrard. Complexity of minimum-size arc-inconsistency explanations. Constraints, 2023. [PDF]
Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros and Toby Walsh. Learning constraints through partial queries. Artificial Intelligence, 2023. [HAL]
Clément Carbonnel, Miguel Romero and Stanislav Živný. The complexity of general-valued CSPs seen from the other side. SIAM Journal on Computing, 2022. [arXiv]
Clément Carbonnel, Miguel Romero and Stanislav Živný. Point-width and Max-CSPs. ACM Transactions on Algorithms, 2020. [arXiv]
Clément Carbonnel, David Cohen, Martin C. Cooper and Stanislav Živný. On singleton arc consistency for CSPs defined by monotone patterns. Algorithmica, 2018. [PDF]
Clément Carbonnel and Martin C. Cooper. Tractability in constraint satisfaction problems: A survey. Constraints, 2015. [PDF] 

Manuscripts

Clément Carbonnel. Harnessing tractability in constraint satisfaction problems. Ph.D. thesis, INP Toulouse, 2016. [PDF] 
(ACP Doctoral Research Award 2017)