Hélène Verhaeghe

20 papers A* 4A 3B 2Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Towards Bound Consistency for the No-Overlap Constraint Using MDDs.
CoRR
Amaury Guichard, Laurent Michel, Hélène Verhaeghe, Pierre Schaus
2025 J jnl
CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models.
CoRR
Augustin Crespin, Ioannis Kostis, Hélène Verhaeghe, Pierre Schaus
2025 A* conf
Exploiting Symmetries in MUS Computation.
AAAI
Ignace Bleukx, Hélène Verhaeghe, Bart Bogaerts, Tias Guns
2024 J jnl
Exploiting Symmetries in MUS Computation (Extended version).
CoRR
Ignace Bleukx, Hélène Verhaeghe, Bart Bogaerts, Tias Guns
2024 A conf
Learning Precedences for Scheduling Problems with Graph Neural Networks.
CP
Hélène Verhaeghe, Quentin Cappart, Gilles Pesant, Claude-Guy Quimper
2024 A conf
Mutational Fuzz Testing for Constraint Modeling Systems.
CP
Wout Vanroose, Ignace Bleukx, Jo Devriendt, Dimos Tsouros, Hélène Verhaeghe, Tias Guns
2024 — conf
Towards a Generic Representation of Combinatorial Problems for Learning-Based Approaches.
CPAIOR (1)
Léo Boisvert, Hélène Verhaeghe, Quentin Cappart
2024 J jnl
Towards a Generic Representation of Combinatorial Problems for Learning-Based Approaches.
CoRR
Léo Boisvert, Hélène Verhaeghe, Quentin Cappart
2024 J jnl
Trustworthy and Explainable Decision-Making for Workforce allocation.
CoRR
Guillaume Povéda, Ryma Boumazouza, Andreas Strahl, Mark Hall, Santiago Quintana-Amate, Nahum Álvarez, Ignace Bleukx, Dimos Tsouros, Hélène Verhaeghe, Tias Guns
2023 J jnl
Holy Grail 2.0: From Natural Language to Constraint Models.
CoRR
Dimosthenis C. Tsouros, Hélène Verhaeghe, Serdar Kadioglu, Tias Guns
2023 J jnl
The extensional constraint.
Constraints An Int. J.
Hélène Verhaeghe
2022 B conf
Practically Uniform Solution Sampling in Constraint Programming.
CPAIOR
Gilles Pesant, Claude-Guy Quimper, Hélène Verhaeghe
2021 — —
The extensional constraint.
Hélène Verhaeghe
2020 A* conf
Learning Optimal Decision Trees using Constraint Programming (Extended Abstract).
IJCAI
Hélène Verhaeghe, Siegfried Nijssen, Gilles Pesant, Claude-Guy Quimper, Pierre Schaus
2020 J jnl
Learning optimal decision trees using constraint programming.
Constraints An Int. J.
Hélène Verhaeghe, Siegfried Nijssen, Gilles Pesant, Claude-Guy Quimper, Pierre Schaus
2019 B conf
Extending Compact-Diagram to Basic Smart Multi-Valued Variable Diagrams.
CPAIOR
Hélène Verhaeghe, Christophe Lecoutre, Pierre Schaus
2019 — conf
Learning Optimal Decision Trees Using Constraint Programming.
BNAIC/BENELEARN
Hélène Verhaeghe, Siegfried Nijssen, Gilles Pesant, Claude-Guy Quimper, Pierre Schaus
2018 A* conf
Compact-MDD: Efficiently Filtering (s)MDD Constraints with Reversible Sparse Bit-sets.
IJCAI
Hélène Verhaeghe, Christophe Lecoutre, Pierre Schaus
2017 A conf
Extending Compact-Table to Basic Smart Tables.
CP
Hélène Verhaeghe, Christophe Lecoutre, Yves Deville, Pierre Schaus
2017 A* conf
Extending Compact-Table to Negative and Short Tables.
AAAI
Hélène Verhaeghe, Christophe Lecoutre, Pierre Schaus