Model-Based Algorithm Configuration with Adaptive Capping and Prior Distributions. - Ignace Bleukx; Senne Berden; Lize Coenen; Nicholas Decleyre; Tias Guns (CPAIOR, 2022)

Sudoku Assistant - an AI-Powered App to Help Solve Pen-and-Paper Sudokus. - Tias Guns; Emilio Gamba; Maxime Mulamba; Ignace Bleukx; Senne Berden; Milan Pesa (AAAI, 2023)

Simplifying Step-Wise Explanation Sequences. - Ignace Bleukx; Jo Devriendt; Emilio Gamba; Bart Bogaerts 001; Tias Guns (CP, 2023)

Mutational Fuzz Testing for Constraint Modeling Systems. - Wout Vanroose; Ignace Bleukx; Jo Devriendt; Dimos Tsouros; Hélène Verhaeghe; Tias Guns (CP, 2024)

Trustworthy and Explainable Decision-Making for Workforce allocation. - Guillaume Povéda; Ryma Boumazouza; Andreas Strahl; Mark Hall 004; Santiago Quintana-Amate; Nahum Álvarez; Ignace Bleukx; Dimos Tsouros; Hélène Verhaeghe; Tias Guns (CoRR, 2024)

Exploiting Symmetries in MUS Computation (Extended version). - Ignace Bleukx; Hélène Verhaeghe; Bart Bogaerts 001; Tias Guns (CoRR, 2024)

Exploiting Symmetries in MUS Computation. - Ignace Bleukx; Hélène Verhaeghe; Bart Bogaerts 001; Tias Guns (AAAI, 2025)

Modeling and Explaining an Industrial Workforce Allocation and Scheduling Problem. - Ignace Bleukx; Ryma Boumazouza; Tias Guns; Nadine Laage; Guillaume Povéda (CP, 2025)