Ignace Bleukx

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2 CP ×2

Frequent coauthors

Tias Guns

×4

Bart Bogaerts

×2

Peter J. Stuckey

×1

Maarten Flippo

×1

Emir Demirovic

×1

Hélène Verhaeghe

×1

Ryma Boumazouza

×1

Nadine Laage

×1

Guillaume Povéda

×1

Papers

Towards Step-Wise Explanations of Large Search Trees (Short Paper)
CP 2026 · Ignace Bleukx,
Peter J. Stuckey
,
Tias Guns
Using Certifying Constraint Solvers for Generating Step-wise Explanations
AAAI 2026 · Ignace Bleukx,
Maarten Flippo
,
Bart Bogaerts
,
Emir Demirovic
,
Tias Guns
Exploiting Symmetries in MUS Computation
AAAI 2025 · Ignace Bleukx,
Hélène Verhaeghe
,
Bart Bogaerts
,
Tias Guns
Modeling and Explaining an Industrial Workforce Allocation and Scheduling Problem
CP 2025 · Ignace Bleukx,
Ryma Boumazouza
,
Tias Guns
,
Nadine Laage
,
Guillaume Povéda