foo foo foo

2024

"Efficient Modeling of Half-reified Global Constraint", I. Bleukx, H. Verhaeghe, D. Tsouros, and T. Guns, ModRef24 workshop pdf
"Trustworthy and Explainable Decision-Making for Workforce allocation", G. Povéda, A. Strahl, M. Hall, R. Boumazouza, S. Quintana-Amate, N. Alvarez, I. Bleukx, D. Tsouros, H. Verhaeghe, and T. Guns, PTGH24 workshop pdf
"Learning Precedences for Scheduling Problems with Graph Neural Networks", H. Verhaeghe, Q. Cappart, G. Pesant, and C.-G. Quimper, CP2024 pdf
"Mutational Fuzz Testing for Constraint Modeling Systems", W. Vanroose, I. Bleukx, J. Devriendt, D. Tsouros, H. Verhaeghe, and T. Guns, CP2024 pdf
"Towards a Generic Representation of Combinatorial Problems for Learning-Based Approaches", L. Boisvert, H. Verhaeghe, and Q. Cappart, CPAIOR24 pdf

2023

"Holy Grail 2.0: From Natural Language to Constraint Models", D. Tsouros, H. Verhaeghe, S. Kadıoglu and T. Guns, PTHG23 workshop (position paper) pdf
"Things we underestimated while developing the CPMpy constraint modelling library", T. Guns and team, ModRef23 workshop (2-page extended abstract) pdf
"Breaking Constraint Modelling Languages with Metamorphic Testing", W. Vanroose, I. Bleukx, J. Devriendt, D. Tsouros, H. Verhaeghe and T. Guns, ModRef23 workshop (2-page extended abstract) pdf
"The extensional constraint", H. Verhaeghe, Constraints journal (1-page abstract, english) pdf

2022

"Échantillonnage de solutions pratiquement uniforme en programmation par contraintes", G. Pesant, C.-G. Quimper and H. Verhaeghe, JFPC22 (2-page abstract, french) pdf
"Practically Uniform Solution Sampling in Constraint Programming", G. Pesant, C.-G. Quimper and H. Verhaeghe, CPAIOR22 pdf

2021

"The extensional constraint", H. Verhaeghe, Ph.D. Thesis dissertation pdf
"Improved Filtering of Scheduling Problems using Redundant Table Constraints", H. Verhaeghe, R. Kameugne, C. Lecoutre and P. Schaus, ModRef21 worshop pdf
"Apprentissage d’arbres de décision optimaux grâce à la programmation par contraintes", H. Verhaeghe, S. Nijssen, G. Pesant, C.-G. Quimper and P. Schaus, JFPC21 (2-page abstract, french) pdf

2020

"Learning Optimal Decision Trees using Constraint Programming", H. Verhaeghe, S. Nijssen, G. Pesant, C.-G. Quimper and P. Schaus, IJCAI20 (4-page abstract, sister conference track) pdf
"Learning Optimal Decision Trees using Constraint Programming", H. Verhaeghe, S. Nijssen, G. Pesant, C.-G. Quimper and P. Schaus, Constraints Journal pdf

2019

"Learning Optimal Decision Trees using Constraint Programming", H. Verhaeghe, S. Nijssen, G. Pesant, C.-G. Quimper and P. Schaus, BNAIC19 (2-page abstract) pdf
"The Extensional Constraint", H. Verhaeghe, DP of CP2019 (8-page thesis abstract) pdf
"Learning Optimal Decision Trees using Constraint Programming", H. Verhaeghe, S. Nijssen, G. Pesant, C.-G. Quimper and P. Schaus, CP2019 (invited to journal fast track) pdf
"Extension de Compact-Diagram aux smart MVD", H. Verhaeghe, C. Lecoutre and P. Schaus, JFPC19 (2-page abstract, french) pdf
"Compact-Diagram Propagateur efficace pour la contrainte (s)MDD", H. Verhaeghe, C. Lecoutre and P. Schaus, JFPC19 (2-page abstract, french) pdf
"Extending Compact-Diagram to Basic Smart Multi-Valued Variable Diagrams", H. Verhaeghe, C. Lecoutre and P. Schaus, CPAIOR19 pdf

2018

"Compact-MDD: Efficiently Filtering (s)MDD Constraints with Reversible Sparse Bit-sets", H. Verhaeghe, C. Lecoutre and P. Schaus, IJCAI18 pdf
"Extension de Compact-Table aux Tables Simplement Intelligentes", H. Verhaeghe, C. Lecoutre, Y.Deville and P. Schaus, JFPC18 (2-page abstract, french) pdf

2017

"Extending Compact-Table to Basic Smart Tables", H. Verhaeghe, C. Lecoutre, Y.Deville and P. Schaus, DP of CP2017 (abstract) pdf
"Extending Compact-Table to Basic Smart Tables", H. Verhaeghe, C. Lecoutre, Y.Deville and P. Schaus, CP2017 pdf
"Extension de Compact-Table aux tables négatives et concises", H. Verhaeghe, C. Lecoutre and P. Schaus, JFPC17 (2-page abstract, french) pdf
"Extending Compact-Table to Negative and Short Tables", H. Verhaeghe, C. Lecoutre and P. Schaus, AAAI17 pdf