| 2026 | AAAI | Using Certifying Constraint Solvers for Generating Step-wise Explanations. | Ignace Bleukx, Maarten Flippo, Bart Bogaerts, Emir Demirovic, Tias Guns |
| 2026 | CP | Towards Step-Wise Explanations of Large Search Trees (Short Paper). | Ignace Bleukx, Peter J. Stuckey, Tias Guns |
| 2026 | SAT | Unified Programmatic Access to CO Benchmarks, to Connect Constraint Solving Communities (Tool Paper). | Thomas Sergeys, Ignace Bleukx, Tias Guns |
| 2025 | AAAI | Exploiting Symmetries in MUS Computation. | Ignace Bleukx, Hlne Verhaeghe, Bart Bogaerts, Tias Guns |
| 2025 | CP | Modeling and Explaining an Industrial Workforce Allocation and Scheduling Problem. | Ignace Bleukx, Ryma Boumazouza, Tias Guns, Nadine Laage, Guillaume Povda |
| 2024 | CP | Mutational Fuzz Testing for Constraint Modeling Systems. | Wout Vanroose, Ignace Bleukx, Jo Devriendt, Dimos Tsouros, Hlne Verhaeghe, Tias Guns |
| 2023 | AAAI | 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 |
| 2023 | CP | Simplifying Step-Wise Explanation Sequences. | Ignace Bleukx, Jo Devriendt, Emilio Gamba, Bart Bogaerts, Tias Guns |
| 2022 | CPAIOR | Model-Based Algorithm Configuration with Adaptive Capping and Prior Distributions. | Ignace Bleukx, Senne Berden, Lize Coenen, Nicholas Decleyre, Tias Guns |