| 2026 | CP | The CP Shortcut: Solving the High-Power Pump Activation Problem Without the Overkill (Short Paper). | Mohamed-Anass Gallass, Philippe Greiner, Antoine Tuerlinckx, Hlne Verhaeghe |
| 2025 | AAAI | Exploiting Symmetries in MUS Computation. | Ignace Bleukx, Hlne Verhaeghe, Bart Bogaerts, Tias Guns |
| 2024 | CP | Mutational Fuzz Testing for Constraint Modeling Systems. | Wout Vanroose, Ignace Bleukx, Jo Devriendt, Dimos Tsouros, Hlne Verhaeghe, Tias Guns |
| 2024 | CP | Learning Precedences for Scheduling Problems with Graph Neural Networks. | Hlne Verhaeghe, Quentin Cappart, Gilles Pesant, Claude-Guy Quimper |
| 2024 | CPAIOR | Towards a Generic Representation of Combinatorial Problems for Learning-Based Approaches. | Lo Boisvert, Hlne Verhaeghe, Quentin Cappart |
| 2022 | CPAIOR | Practically Uniform Solution Sampling in Constraint Programming. | Gilles Pesant, Claude-Guy Quimper, Hlne Verhaeghe |
| 2020 | IJCAI | Learning Optimal Decision Trees using Constraint Programming (Extended Abstract). | Hlne Verhaeghe, Siegfried Nijssen, Gilles Pesant, Claude-Guy Quimper, Pierre Schaus |
| 2019 | CPAIOR | Extending Compact-Diagram to Basic Smart Multi-Valued Variable Diagrams. | Hlne Verhaeghe, Christophe Lecoutre, Pierre Schaus |
| 2018 | IJCAI | Compact-MDD: Efficiently Filtering (s)MDD Constraints with Reversible Sparse Bit-sets. | Hlne Verhaeghe, Christophe Lecoutre, Pierre Schaus |
| 2017 | AAAI | Extending Compact-Table to Negative and Short Tables. | Hlne Verhaeghe, Christophe Lecoutre, Pierre Schaus |
| 2017 | CP | Extending Compact-Table to Basic Smart Tables. | Hlne Verhaeghe, Christophe Lecoutre, Yves Deville, Pierre Schaus |