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 |