SST/EPL Louvain School of Engineering (EPL)
SST/ICTM Institute of Information and Communication Technologies, Electronics and Applied Mathematics (ICTEAM)
SST/ICTM/INGI Pôle en ingénierie informatique (INGI)
Verhaeghe, Hélène ; Cappart, Quentin ; Pesant, Gilles ; Quimper, Claude-Guy. 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, du 30/06/2025 au 02/07/2025).
Crespin, Augustin ; Kostis, Ioannis ; Verhaeghe, Hélène ; Schaus, Pierre. CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models. Workshop LLM-solve of CP2025 (Glasgow, UK, 11/08/2025).
Bleukx, Ignace ; Verhaeghe, Hélène ; Bogaerts, Bart ; Guns, Tias. Exploiting Symmetries in MUS Computation. In: Proceedings of the AAAI Conference on Artificial Intelligence, Vol. 39, no. 11, p. 11122-11130 (2025). doi:10.1609/aaai.v39i11.33209.
Vanroose, Wout ; Bleukx, Ignace ; Devriendt, Jo ; Tsouros, Dimos ; Verhaeghe, Hélène ; Guns, Tias. 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, du 30/06/2025 au 02/07/2025).
Bleukx, Ignace ; Verhaeghe, Hélène ; Tsouros, Dimos ; Guns, Tias. Efficient Modeling of Half-reified Global Constraints. Workshop ModRef2024 of CP2024 (Girona, Spain).
Verhaeghe, Hélène ; Cappart, Quentin ; Pesant, Gilles ; Quimper, Claude-Guy. Learning Precedences for Scheduling Problems with Graph Neural Networks. The 30th International Conference on Principles and Practice of Constraint Programming (CP2024) (Girona, Spain). In: 30th International Conference on Principles and Practice of Constraint Programming, CP2024, Vol. 307, no. 1, p. 30:1--30:18 (2024). doi:10.4230/LIPIcs.CP.2024.30.
Vanroose, Wout ; Bleukx, Ignace ; Devriendt, Jo ; Tsouros, Dimos ; Verhaeghe, Hélène ; Guns, Tias. Mutational Fuzz Testing for Constraint Modeling Systems. The 30th International Conference on Principles and Practice of Constraint Programming (CP2024) (Girona, Spain). In: 30th International Conference on Principles and Practice of Constraint Programming, CP2024, Vol. 307, no.1, p. 29:1--29:25 (2024). doi:10.4230/LIPIcs.CP.2024.29.
Boisvert, Léo ; Verhaeghe, Hélène ; Cappart, Quentin. Towards a Generic Representation of Combinatorial Problems for Learning-Based Approaches. In: Integration of CP, AI, and OR 21th International Conference, CPAIOR2024, Vol. 14742, no. 1, p. 99--108 (2024). doi:10.1007/978-3-031-60597-0_7.
Povéda, Guillaume ; Strahl, Andreas ; Hall, Mark ; Boumazouza, Ryma ; Quintana-Amate, Santiago ; Alvarez, Nahum ; Bleukx, Ignace ; Tsouros, Dimos ; Verhaeghe, Hélène ; Guns, Tias. Trustworthy and Explainable Decision-Making for Workforce allocation. Workshop PTHG2023 of CP2024 (Girona, Spain).
Verhaeghe, Hélène. The extensional constraint. In: Constraints, Vol. 28, no.3, p. 518-518 (2023). doi:10.1007/s10601-023-09358-z.
Vanroose, Wout ; Bleukx, Ignace ; Devriendt, Jo ; Tsouros, Dimos ; Verhaeghe, Hélène ; Guns, Tias. Breaking Constraint Modelling Languages with Metamorphic Testing (extended abstract). Workshop ModRef2023 of CP2023 (Toronto, Canada).
Tsouros, Dimos ; Verhaeghe, Hélène ; Kadioglu, Serdar ; Guns, Tias. Holy Grail 2.0: From Natural Language to Constraint Models. Workshop PTHG2023 of CP2023 (Toronto, Canada).
Guns, Tias ; Verhaeghe, Hélène. Things we underestimated while developing the CPMpy constraint modelling library. Workshop ModRef2023 of CP2023 (Toronto, Canada).
Pesant, Gilles ; Quimper, Claude-Guy ; Verhaeghe, Hélène. Practically Uniform Solution Sampling in Constraint Programming. In: Integration of CP, AI, and OR 19th International Conference, CPAIOR2022, (2022). doi:10.1007/978-3-031-08011-1_22.
Pesant, Gilles ; Quimper, Claude-Guy ; Verhaeghe, Hélène. Échantillonnage de solutions pratiquement uniforme en programmation par contraintes. Dix-septième journées Francophones de Programmation par Contraintes (JFPC22) (Saint-Etienne, France).
Verhaeghe, Hélène ; Nijssen, Siegfried ; Pesant, Gilles ; Quimper, Claude-Guy ; Schaus, Pierre. 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), du 22/06/2021 au 24/06/2021).
Verhaeghe, Hélène ; Kameugne, Roger ; Lecoutre, Christophe ; Schaus, Pierre. Improved Filtering of Scheduling Problems using Redundant Table Constraints. Workshop ModRef2021 of CP2021 (Montpellier, France (Online), du 25/10/2021 au 29/10/2021).
Verhaeghe, Hélène. The extensional constraint, prom. : Schaus, Pierre ; Lecoutre, Christophe, 31/08/2021.
Verhaeghe, Hélène ; Nijssen, Siegfried ; Pesant, Gilles ; Quimper, Claude-Guy ; Schaus, Pierre. Learning Optimal Decision Trees using Constraint Programming. In: Constraints Journal, Vol. 25, no.3-4, p. 226-250 (2020). doi:10.1007/s10601-020-09312-3.
Verhaeghe, Hélène ; Nijssen, Siegfried ; Pesant, Gilles ; Quimper, Claude-Guy ; Schaus, Pierre. Learning Optimal Decision Trees using Constraint Programming (Extended Abstract). Twenty-Ninth International Joint Conference on Artificial Intelligence IJCAI20 (Yokohama, Japan). In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI2020, Vol. 2020, no.1, p. 4765-4769 (2020).
Verhaeghe, Hélène ; Lecoutre, Christophe ; Schaus, Pierre. Compact-Diagram Propagateur efficace pour la contrainte (s)MDD. Quinzième journées Francophones de Programmation par Contraintes (JFPC19) (Albi, France, du 12/06/2019 au 14/06/2019) (Soumis).
Verhaeghe, Hélène ; Lecoutre, Christophe ; Schaus, Pierre. Extending Compact-Diagram to Basic Smart Multi-Valued Variable Diagrams. 16th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (Thessaloniki, Greece, du 04/06/2019 au 07/06/2019). In: Integration of AI and OR Techniques in Constraint Programming 16th International Conference, CPAIOR 2019, Thessaloniki, Greece,, Vol. 1, no. 1, p. 581-598 (2019).
Verhaeghe, Hélène ; Lecoutre, Christophe ; Schaus, Pierre. Extension de Compact-Diagram aux smart MVD. Quinzième journées Francophones de Programmation par Contraintes (JFPC19) (Albi, France, du 12/06/2019 au 14/06/2019) (Soumis).
Verhaeghe, Hélène ; Nijssen, Siegfried ; Pesant, Gilles ; Quimper, Claude-Guy ; Schaus, Pierre. Learning Optimal Decision Trees using Constraint Programming. The 25th International Conference on Principles and Practice of Constraint Programming (CP2019) (Stamford, USA, du 30/09/2019 au 04/10/2019) (Soumis).
Verhaeghe, Hélène ; Nijssen, Siegfried ; Pesant, Gilles ; Quimper, Claude-Guy ; Schaus, Pierre. Learning Optimal Decision Trees using Constraint Programming (abstract). BNAIC/BENELEARN 2019 (Bruxelles, du 06/11/2019 au 08/11/2019). In: Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch C, Vol. CEUR Workshop Proceedings, no.2491, p. 1 (2019).
Verhaeghe, Hélène. The extensional Constraint. Doctoral Program of the 25th International Conference on Principles and Practice of Constraint Programming (DPCP19) (Stamford, du 30/09/2019 au 04/10/2019) (Soumis).
Verhaeghe, Hélène ; Lecoutre, Christophe ; Schaus, Pierre. Compact-MDD: Efficiently Filtering (s)MDD Constraints with Reversible Sparse Bit-sets. Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18} (Stockholm, Sweden, du 13/7/2018 au 19/7/2018). In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, 2018. 978-0-9992411-2-7. doi:10.24963/ijcai.2018/192.
Verhaeghe, Hélène ; Lecoutre Christophe ; Deville, Yves ; Schaus, Pierre. Extension de Compact-Table aux Tables Simplement Intelligentes. Quatorzième journées Francophones de Programmation par Contraintes (JFPC18) (Amiens, France, du 13/06/2018 au 15/06/2018) (Soumis).
Verhaeghe, Hélène ; Lecoutre, Christophe ; Deville, Yves ; Schaus, Pierre. Extending Compact-Table to Basic Smart Tables. 23rd International Conference on Principles and Practice of Constraint Programming (CP17) (Melbourne, Australia, du 28/08/2017 au 01/09/2017). In: Principles and Practice of Constraint Programming, 2017. ISBN 978-3-319-66158-2, p. 297-307.
Verhaeghe, Hélène ; Lecoutre, Christophe ; Schaus, Pierre. Extending Compact-Table to Negative and Short Tables. The Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17) (San Francisco, USA, du 04/02/2017 au 09/02/2017). In: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence and the Twenty-Ninth Innovative Applications of Artificial Intelligence Conference, Vol. 5 (2017).
Verhaeghe, Hélène ; Lecoutre, Christophe ; Schaus, Pierre. Extension de Compact-Table aux tables négatives et concises. Treizièmes journées Francophones de Programmation par Contraintes (JFPC17) (Montreuil-sur-Mer, France, du 13/06/2017 au 15/06/2017) (Soumis).