Large Language Models for Explaining Unsatisfiable Constraint Satisfaction Problems
Bleukx I., and Guns T. (2026). Large Language Models for Explaining Unsatisfiable Constraint Satisfaction Problems. In LLM-Solve.
Publications
Towards Step-Wise Explanations of Large Search Trees
Bleukx I., Stuckey P. J., and Guns T. (2026). Towards Step-Wise Explanations of Large Search Trees. In CP.
Unified Programmatic Access to CO Benchmarks, to Connect Constraint Solving Communities
Sergeys T., Bleukx I., and Guns T. (2026). Unified Programmatic Access to CO Benchmarks, to Connect Constraint Solving Communities. In SAT.
Using Certifying Constraint Solvers for Generating Step-wise Explanation Sequences
Bleukx I., Flippo M., Bogaerts B., and Guns T. (2026). Using Certifying Constraint Solvers for Generating Step-wise Explanation Sequences. In AAAI.
Towards Efficient and User-oriented Explanations for Constraint Solving
Bleukx I. (2025). Towards Efficient and User-oriented Explanations for Constraint Solving. PhD thesis, KU Leuven.
Modeling and Explaining an Industrial Workforce Allocation and Scheduling Problem
🏆 Best application paper award at CP 2025
Bleukx I., Boumazouza R., Guns T., Laage N., and Poveda G. (2025). Modeling and Explaining an Industrial Workforce Allocation and Scheduling Problem. In CP.
Exploiting Symmetries in MUS Computation
Bleukx I., Verhaeghe H., Bogaerts B., and Guns T. (2025). Exploiting Symmetries in MUS Computation. In AAAI.
Mutational Fuzz Testing for Constraint Modeling Systems
Vanroose W., Bleukx I., Devriendt J., Tsouros D., Verhaeghe H., and Guns T. (2024). Mutational Fuzz Testing for Constraint Modeling Systems. In CP.
Efficient Modeling of Half-reified Global Constraints
Bleukx I., Verhaeghe H., Tsouros D., and Guns T. (2024). Efficient Modeling of Half-reified Global Constraints. In ModRef.
Simplifying Step-Wise Explanation Sequences
Bleukx I., Devriendt J., Gamba E., Bogaerts B., and Guns T. (2023). Simplifying Step-Wise Explanation Sequences. In CP.
Sudoku Assistant - an AI-Powered App to Help Solve Pen-and-Paper Sudokus
🏆 Best demo paper award at AAAI 2023
Guns T., Gamba E., Mulamba M., Bleukx I., Berden S., and Pesa M. (2023). Sudoku Assistant - an AI-Powered App to Help Solve Pen-and-Paper Sudokus. In AAAI.
Model-Based Algorithm Configuration with Adaptive Capping and Prior Distributions
Bleukx I., Berden S., Coenen L., Decleyre N., and Guns T. (2022). Model-Based Algorithm Configuration with Adaptive Capping and Prior Distributions. In CPAIOR.