Hélène Verhaeghe

2 papers at tracked venues · 1 at CORE A* · active 2025–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1 CP ×1

Frequent coauthors

Mohamed-Anass Gallass

×1

Philippe Greiner

×1

Antoine Tuerlinckx

×1

Ignace Bleukx

×1

Bart Bogaerts

×1

Tias Guns

×1

Papers

The CP Shortcut: Solving the High-Power Pump Activation Problem Without the Overkill (Short Paper)
CP 2026 ·
Mohamed-Anass Gallass
,
Philippe Greiner
,
Antoine Tuerlinckx
, Hélène Verhaeghe
Exploiting Symmetries in MUS Computation
AAAI 2025 ·
Ignace Bleukx
, Hélène Verhaeghe,
Bart Bogaerts
,
Tias Guns