2024 |
"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, PTHG 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 |