Verhaeghe, Hélène

4 publications

AAAI 2025 Exploiting Symmetries in MUS Computation Ignace Bleukx, Hélène Verhaeghe, Bart Bogaerts, Tias Guns

IJCAI 2020 Learning Optimal Decision Trees Using Constraint Programming (Extended Abstract) Hélène Verhaeghe, Siegfried Nijssen, Gilles Pesant, Claude-Guy Quimper, Pierre Schaus

IJCAI 2018 Compact-MDD: Efficiently Filtering (s)MDD Constraints with Reversible Sparse Bit-Sets Hélène Verhaeghe, Christophe Lecoutre, Pierre Schaus

AAAI 2017 Extending Compact-Table to Negative and Short Tables Hélène Verhaeghe, Christophe Lecoutre, Pierre Schaus