Sotabase
Home
Researchers
Career
·
Phd Researcher
,
KU Leuven
2021–
·
Phd student
,
KU Leuven
2021–
·
Student Data Analyst
,
SoundTalks NV
2020–2020
·
Master of Science
,
KU Leuven
2019–2021
·
Student Software Developer
,
SoundTalks
2019–2019
·
Bachelorgraad
,
KU Leuven
2016–2019
Publications
(18)
Sudoku Assistant - an AI-Powered App to Help Solve Pen-and-Paper Sudokus
AAAI Conference on Artificial Intelligence · 2023
4
cited
Mutational Fuzz Testing for Constraint Modeling Systems
International Conference on Principles and Practice of Constraint Programming · 2024
2
cited
Simplifying Step-Wise Explanation Sequences
International Conference on Principles and Practice of Constraint Programming · 2023
2
cited
Exploiting Symmetries in MUS Computation
AAAI Conference on Artificial Intelligence · 2025
1
cited
Model-Based Algorithm Configuration with Adaptive Capping and Prior Distributions
Integration of AI and OR Techniques in Constraint Programming · 2022
1
cited
Modeling and Explaining an Industrial Workforce Allocation and Scheduling Problem
International Conference on Principles and Practice of Constraint Programming · 2025
1
cited
Trustworthy and Explainable Decision-Making for Workforce allocation
arXiv.org · 2024
1
cited
Exploiting Symmetries in MUS Computation (Extended version)
arXiv.org · 2024
Using Certifying Constraint Solvers for Generating Step-wise Explanations
arXiv.org · 2025
Sotabase
Ignace Bleukx | Researcher Profile | Sotabase | Sotabase