• Explicaties van combinatorische optimalisatieproblemen

Recente publicaties

• launch Bleukx, I., Guns, T. (2026). Large Language Models for Explaining Unsatisfiable Constraint Satisfaction Problems. Presented at the LLM-Solve, Lisbon, Portugal.
• launch Bleukx, I. (corresp. author), J. Stuckey, P. (corresp. author), Guns, T. (corresp. author) (2026). Towards Step-wise Explanations Of Large Search Trees. In: 32nd International Conference on Principles and Practice of Constraint Programming. Presented at the Principles and Practices of Constraint Programming, Lisbon, Portugal. via repository
• launch Sergeys, T. (corresp. author), Bleukx, I. (corresp. author), Guns, T. (corresp. author) (2026). Unified Programmatic Access to CO Benchmarks, to Connect Constraint Solving Communities. In: 29th International Conference on Theory and Applications of Satisfiability Testing. Presented at the International Conference on Theory and Applications of Satisfiability Testing, Lisbon. via repository
• launch Bleukx, I., Flippo, M., Bogaerts, B., Demirović, E., Guns, T. (2026). Using Certifying Constraint Solvers for Generating Step-wise Explanations. In: Proceedings of the AAAI Conference on Artificial Intelligence: vol. 40 (17), (14192-14200). Presented at the The 40th Annual AAAI Conference on Artificial Intelligence, Singapore. ISBN: 978-1-57735-906-7. doi: 10.1609/aaai.v40i17.38432
• launch Bleukx, I., Guns, M. (sup.) (2025). Towards Efficient and User-oriented Explanations for Constraint Solving. via repository
• launch Bleukx, I. (corresp. author), Boumazouza, R. (corresp. author), Guns, T. (corresp. author), Laage, N. (corresp. author), Poveda, G. (corresp. author) (2025). Modeling and Explaining an Industrial Workforce Allocation and Scheduling Problem. In: Leibniz International Proceedings in Informatics: vol. 340. Presented at the CP 2025, Glasgow, Scotland. doi: 10.4230/LIPIcs.CP.2025.6 via repository
• launch Bleukx, I. (corresp. author), Verhaeghe, H. (corresp. author), Bogaerts, B. (corresp. author), Guns, T. (corresp. author) (2025). Exploiting Symmetries in MUS Computation. In: Proceedings of the AAAI Conference on Artificial Intelligence: vol. 39 (11), (11122-11130). Presented at the The 39th Annual AAAI Conference on Artificial Intelligence, Philadephia, USA. doi: 10.1609/aaai.v39i11.33209 via repository
• launch Bleukx, I., Verhaeghe, H., Tsouros, D., Guns, T. (2024). Efficient Modeling of Half-reified Global Constraints. Presented at the The 23rd workshop on Constraint Modelling and Reformulation, Gerona, Spain, 02 Sep 2024-02 Sep 2024. via repository
• launch Vanroose, W., Bleukx, I., Devriendt, J., Tsouros, D., Verhaeghe, H., Guns, T. (2024). Mutational Fuzz Testing for Constraint Modeling Systems. In: 30th International Conference on Principles and Practice of Constraint Programming (CP 2024): vol. 307, (29:1-29:25). Presented at the International Conference on Principles and Practice of Constraint Programming (CP), Gerona. ISBN: 978-3-95977-336-2. doi: 10.4230/LIPIcs.CP.2024.29 via repository
• launch Bleukx, I. (corresp. author), Devriendt, J. (corresp. author), Gamba, E. (corresp. author), Bogaerts, B. (corresp. author), Guns, T. (corresp. author) (2023). Simplifying Step-wise Explanation Sequences. In: Leibniz International Proceedings in Informatics: vol. 280, (Paper No. 11), (1-20). Presented at the CP23, Toronto, 28 Aug 2023-31 Aug 2023. doi: 10.4230/LIPIcs.CP.2023.11 via repository