SST/EPL Ecole polytechnique de Louvain (EPL)
SST/ICTM Institute of Information and Communication Technologies, Electronics and Applied Mathematics (ICTEAM)
SST/ICTM/INGI Pôle en ingénierie informatique (INGI)
2025
Papier de conférence
Verhaeghe, H., Cappart, Q., Pesant, G., & Quimper, C.-G. (2025). Apprentissage de précédences pour des problèmes de planification avec des réseaux de neurones en graphes. Vingtième journées Francophones de Programmation par Contraintes (JFPC25), Dijon, France.
Bleukx, I., Verhaeghe, H., Bogaerts, B., & Guns, T. (2025). Exploiting Symmetries in MUS Computation. Proceedings of the AAAI Conference on Artificial Intelligence, 39(11), 11122-11130. https://doi.org/10.1609/aaai.v39i11.33209 (Original work published 2025)
Vanroose, W., Bleukx, I., Devriendt, J., Tsouros, D., Verhaeghe, H., & Guns, T. (2025). Tests à données aléatoires par mutations pour les systèmes de programmation par contraintes. Vingtième journées Francophones de Programmation par Contraintes (JFPC25), Dijon, France.
Crespin, A., Kostis, I., Verhaeghe, H., & Schaus, P. (2025). CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models. Workshop LLM-solve of CP2025, Glasgow, UK.
Document de travail
de Schietere de Lophem, M., Misselyn, L., Veroneze, R., Verhaeghe, H., & Legay, A. (2025). Modeling Electricity Consumption Patterns in Buildings Using Probability Distribution Functions.
2024
Papier de conférence
Vanroose, W., Bleukx, I., Devriendt, J., Tsouros, D., Verhaeghe, H., & Guns, T. (2024). Mutational Fuzz Testing for Constraint Modeling Systems. 30th International Conference on Principles and Practice of Constraint Programming, CP2024, 307(1), 29:1-29:25. https://doi.org/10.4230/LIPIcs.CP.2024.29 (Original work published 2024)
Bleukx, I., Verhaeghe, H., Tsouros, D., & Guns, T. (2024). Efficient Modeling of Half-reified Global Constraints. Workshop ModRef2024 of CP2024, Girona, Spain.
Boisvert, L., Verhaeghe, H., & Cappart, Q. (2024). Towards a Generic Representation of Combinatorial Problems for Learning-Based Approaches. Integration of CP, AI, and OR 21th International Conference, CPAIOR2024, 14742(1), 99-108. https://doi.org/10.1007/978-3-031-60597-0_7 (Original work published 2024)
Povéda, G., Strahl, A., Hall, M., Boumazouza, R., Quintana-Amate, S., Alvarez, N., Bleukx, I., Tsouros, D., Verhaeghe, H., & Guns, T. (2024). Trustworthy and Explainable Decision-Making for Workforce allocation. Workshop PTHG2023 of CP2024, Girona, Spain.
Verhaeghe, H., Cappart, Q., Pesant, G., & Quimper, C.-G. (2024). Learning Precedences for Scheduling Problems with Graph Neural Networks. 30th International Conference on Principles and Practice of Constraint Programming, CP2024, 307(1), 30:1-30:18. https://doi.org/10.4230/LIPIcs.CP.2024.30 (Original work published 2024)
2023
Papier de conférence
Guns, T., Verhaeghe, H., & et al. (2023). Things we underestimated while developing the CPMpy constraint modelling library. Workshop ModRef2023 of CP2023, Toronto, Canada.
Tsouros, D., Verhaeghe, H., Kadioglu, S., & Guns, T. (2023). Holy Grail 2.0: From Natural Language to Constraint Models. Workshop PTHG2023 of CP2023, Toronto, Canada.
Vanroose, W., Bleukx, I., Devriendt, J., Tsouros, D., Verhaeghe, H., & Guns, T. (2023). Breaking Constraint Modelling Languages with Metamorphic Testing (extended abstract). Workshop ModRef2023 of CP2023, Toronto, Canada.
Article de journal
Verhaeghe, H. (2023). The extensional constraint. Constraints : an international journal, 28(3), 518. https://doi.org/10.1007/s10601-023-09358-z (Original work published 2023)
2022
Papier de conférence
Pesant, G., Quimper, C.-G., & Verhaeghe, H. (2022). Échantillonnage de solutions pratiquement uniforme en programmation par contraintes. Dix-septième journées Francophones de Programmation par Contraintes (JFPC22), Saint-Etienne, France.
Pesant, G., Quimper, C.-G., & Verhaeghe, H. (2022). Practically Uniform Solution Sampling in Constraint Programming. Integration of CP, AI, and OR 19th International Conference, CPAIOR2022. Published. https://doi.org/10.1007/978-3-031-08011-1_22 (Original work published 2022)
2021
Thèse
Verhaeghe, H. (2021). The extensional constraint.
Papier de conférence
Verhaeghe, H., Nijssen, S., Pesant, G., Quimper, C.-G., & Schaus, P. (2021). Apprentissage d’arbres de décision optimaux grâce à la programmation par contraintes. Seizième journées Francophones de Programmation par Contraintes (JFPC21), Nice, France (Online).
Verhaeghe, H., Kameugne, R., Lecoutre, C., & Schaus, P. (2021). Improved Filtering of Scheduling Problems using Redundant Table Constraints. Workshop ModRef2021 of CP2021, Montpellier, France (Online).
2020
Article de journal
Verhaeghe, H., Nijssen, S., Pesant, G., Quimper, C.-G., & Schaus, P. (2020). Learning Optimal Decision Trees using Constraint Programming. Constraints Journal, 25(3-4), 226-250. https://doi.org/10.1007/s10601-020-09312-3 (Original work published 2020)
Papier de conférence
Verhaeghe, H., Nijssen, S., Pesant, G., Quimper, C.-G., & Schaus, P. (2020). Learning Optimal Decision Trees using Constraint Programming (Extended Abstract). Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI2020, 2020(1), 4765-4769. (Original work published 2020)
2019
Papier de conférence
Verhaeghe, H., Lecoutre, C., & Schaus, P. (2019). Extension de Compact-Diagram aux smart MVD. Quinzième journées Francophones de Programmation par Contraintes (JFPC19), Albi, France.
Verhaeghe, H., Lecoutre, C., & Schaus, P. (2019). Extending Compact-Diagram to Basic Smart Multi-Valued Variable Diagrams. Integration of AI and OR Techniques in Constraint Programming 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, 1(1), 581-598. (Original work published 2019)
Verhaeghe, H., Nijssen, S., Pesant, G., Quimper, C.-G., & Schaus, P. (2019). Learning Optimal Decision Trees using Constraint Programming. The 25th International Conference on Principles and Practice of Constraint Programming (CP2019), Stamford, USA.
Verhaeghe, H., Nijssen, S., Pesant, G., Quimper, C.-G., & Schaus, P. (2019). Learning Optimal Decision Trees using Constraint Programming (abstract). Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch C, CEUR Workshop Proceedings(2491), 1. (Original work published 2019)
Verhaeghe, H. (2019). The extensional Constraint. Doctoral Program of the 25th International Conference on Principles and Practice of Constraint Programming (DPCP19), Stamford.
Verhaeghe, H., Lecoutre, C., & Schaus, P. (2019). Compact-Diagram Propagateur efficace pour la contrainte (s)MDD. Quinzième journées Francophones de Programmation par Contraintes (JFPC19), Albi, France.
2018
Papier de conférence
Verhaeghe, H., Lecoutre, C., & Schaus, P. (2018). Compact-MDD: Efficiently Filtering (s)MDD Constraints with Reversible Sparse Bit-sets. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Published. Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}, Stockholm, Sweden. https://doi.org/10.24963/ijcai.2018/192
Verhaeghe, H., Lecoutre Christophe, Deville, Y., & Schaus, P. (2018). Extension de Compact-Table aux Tables Simplement Intelligentes. Quatorzième journées Francophones de Programmation par Contraintes (JFPC18), Amiens, France.
2017
Papier de conférence
Verhaeghe, H., Lecoutre, C., & Schaus, P. (2017). Extension de Compact-Table aux tables négatives et concises. Treizièmes journées Francophones de Programmation par Contraintes (JFPC17), Montreuil-sur-Mer, France.
Verhaeghe, H., Lecoutre, C., Deville, Y., Schaus, P., & et al. (2017). Extending Compact-Table to Basic Smart Tables. Principles and Practice of Constraint Programming, p. 297-307.
Verhaeghe, H., Lecoutre, C., & Schaus, P. (2017). Extending Compact-Table to Negative and Short Tables. Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence and the Twenty-Ninth Innovative Applications of Artificial Intelligence Conference, 5. (Original work published 2017)