Conversational Human-Aware Technology for Optimisation

Informations projet

CHAT-Opt

N° de convention de subvention: 101002802

DOI

10.3030/101002802

Projet clôturé

Date de signature de la CE 30 Mars 2021

Date de début 1 Juin 2021

Date de fin 31 Mai 2026

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 1 893 125,00

Contribution de l’UE

€ 1 893 125,00

Coordonné par

KATHOLIEKE UNIVERSITEIT LEUVEN
Belgium

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Livrables

Open Research Data Pilot (1)

Data Management Plan

Publications

Other (3)

Things we underestimated while developing the CPMpy constraint modelling library

Auteurs: Tias Guns, Dimosthenis Tsouros
Publié dans: The 22nd workshop on Constraint Modelling and Reformulation, 2023
Éditeur: online: https://modref.github.io/ModRef2023.html

Holy Grail 2.0: From Natural Language to Constraint Models

Auteurs: Dimosthenis Tsouros, Helene Verhaeghe, Serdar Kadioglu, Tias Guns
Publié dans: Progress Toward the Holy Grail workshop at CP2023, 2023
Éditeur: Online: https://freuder.wordpress.com/progress-towards-the-holy-grail-workshops/pthg-23-the-sixth-workshop-on-progress-towards-the-holy-grail/
DOI: 10.48550/arxiv.2308.01589

Sudoku Assistant - An AI-powered app to help solve pen-and-paper Sudokus

Auteurs: Tias Guns, Milan Pesa, Maxime Mulamba, Ignace Bleukx, Emilio Gamba, and Senne Berden
Publié dans: BNAIC/BeNeLearn AI & ML conference for Belgium, Netherlands & Luxembourg, 2022
Éditeur: Benelux Association for Artificial Intelligence (BNVKI)

Conference proceedings (30)

Learning to Learn in Interactive Constraint Acquisition

Auteurs: Dimosthenis Tsouros, Senne Berden, Tias Guns
Publié dans: Proceedings of the AAAI Conference on Artificial Intelligence, Numéro 8, 2024, Page(s) 8154-8162
Éditeur: AAAI Press
DOI: 10.1609/aaai.v38i8.28655

Efficient Modeling of Half-reified Global Constraints

Auteurs: Bleukx, Ignace; Verhaeghe, Hélène; Tsouros, Dimos; Guns, Tias
Publié dans: The 23rd workshop on Constraint Modelling and Reformulation, 2024
Éditeur: online: https://modref.github.io/ModRef2024.html

Exploiting Symmetries in MUS Computation

Auteurs: Ignace Bleukx, Hélène Verhaeghe, Bart Bogaerts, Tias Guns
Publié dans: Proceedings of the AAAI Conference on Artificial Intelligence, Numéro 39, 2025, Page(s) 11122-11130, ISSN 2374-3468
Éditeur: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/aaai.v39i11.33209

Learning Preferences over Unsatisfiable Subsets

Auteurs: Gamba, Emilio; Foschini, Marco; Mandi, Jayanta; Bogaerts, Bart; Guns, Tias
Publié dans: PTHG-24: The Seventh Workshop on Progress Towards the Holy Grail, 2024
Éditeur: PTHG

Improving Reduction Techniques in Pseudo-Boolean Conflict Analysis.

Auteurs: Orestis Lomis; Jo Devriendt; Hendrik Bierlee; Tias Guns
Publié dans: 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025); 2025; Vol. 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025), Numéro 1, 2025
Éditeur: Schloss Dagstuhl – Leibniz-Zentrum für Informatik

CPMpy_* submissions to the XCSP3 competition

Auteurs: Guns, Tias; Vanroose, Wout; Sergeys, Thomas; Bleukx, Ignace; Devriendt, Jo; Tsouros, Dimos; Verhaeghe, Hélène
Publié dans: Proceedings of the 2024 XCSP3 Competition, 2024
Éditeur: Arxiv: https://arxiv.org/abs/2412.00117

Towards Step-wise Explanations Of Large Search Trees

Auteurs: Bleukx, Ignace; J. Stuckey, Peter; Guns, Tias
Publié dans: 32nd International Conference on Principles and Practice of Constraint Programming, 2026
Éditeur: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

CPMpy_* submissions to the XCSP3 competition

Auteurs: Guns, Tias; Sergeys, Thomas; Bleukx, Ignace; Tsouros, Dimos; Bierlee, Hendrik
Publié dans: Proceedings of the 2025 XCSP3 Competition, 2025
Éditeur: Arxiv: https://arxiv.org/abs/2511.06918

Unified Programmatic Access to CO Benchmarks, to Connect Constraint Solving Communities

Auteurs: Sergeys, Thomas; Bleukx, Ignace; Guns, Tias
Publié dans: 29th International Conference on Theory and Applications of Satisfiability Testing (SAT 2026), 2026
Éditeur: Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing

Simplifying Step-wise Explanation Sequences

Auteurs: Ignace Bleukx, Jo Devriendt, Emilio Gamba, Bart Bogaerts, Tias Guns
Publié dans: Leibniz International Proceedings in Informatics (LIPIcs), Numéro Volume 280, 2023, Page(s) 11:1 - 11:20
Éditeur: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.cp.2023.11

Large Language Models for Explaining Unsatisfiable Constraint Satisfaction Problems

Auteurs: Bleukx, Ignace; Guns, Tias
Publié dans: LLMs meet Constraint Solving 2026 - FLOC &CP 2026 Workshop, 2026
Éditeur: Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing

Preference Elicitation for Step-Wise Explanations in Logic Puzzles

Auteurs: Marco Foschini, Marianne Defresne, Emilio Gamba, Bart Bogaerts, Tias Guns
Publié dans: Proceedings of the AAAI Conference on Artificial Intelligence, Numéro 40, 2026, Page(s) 14225-14233, ISSN 2374-3468
Éditeur: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/aaai.v40i17.38436

Guided Bottom-Up Interactive Constraint Acquisition

Auteurs: Dimosthenis Tsouros, Senne Berden, Tias Guns
Publié dans: Leibniz International Proceedings in Informatics (LIPIcs), 2023, Page(s) 36:1 - 36:20
Éditeur: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.cp.2023.36

An Efficient Structured Perceptron for NP-Hard Combinatorial Optimization Problems

Auteurs: Bastián Véjar, Gaël Aglin, Ali İrfan Mahmutoğulları, Siegfried Nijssen, Pierre Schaus, Tias Guns
Publié dans: Integration of Constraint Programming, Artificial Intelligence, and Operations Research, proceedings, 2024, Page(s) 253--262, ISBN 978-3-031-60599-4
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-60599-4_17

Preference Elicitation for Multi-objective Combinatorial Optimization with Active Learning and Maximum Likelihood Estimation

Auteurs: Marianne Defresne, Jayanta Mandi, Tias Guns
Publié dans: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2025, Page(s) 2583-2591
Éditeur: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2024/288

Model-Based Algorithm Configuration with Adaptive Capping and Prior Distributions

Auteurs: Ignace Bleukx, Senne Berden, Lize Coenen, Nicholas Decleyre, Tias Guns
Publié dans: Integration of Constraint Programming, Artificial Intelligence, and Operations Research. Lecture Notes in Computer Science, Numéro volume 13292, 2022, Page(s) 64-73
Éditeur: Springer
DOI: 10.1007/978-3-031-08011-1_6

From CP Modeling to Preference Elicitation in HMLV Assembly Problems

Auteurs: Foschini, Marco; Gamba, Emilio; Kletzander, Lucas; Guns, Tias
Publié dans: 32nd International Conference on Principles and Practice of Constraint Programming (CP 2026), 2026
Éditeur: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

Learning Constraint Programming Models from Data Using Generate-And-Aggregate

Auteurs: Mohit Kumar, Samuel Kolb, Tias Guns
Publié dans: 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Numéro Volume 235, 2022, Page(s) 29:1 - 29:16, ISBN 978-3-95977-240-2
Éditeur: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (lzi)
DOI: 10.4230/lipics.cp.2022.29

Decision-Focused Learning: Through the Lens of Learning to Rank

Auteurs: Jayanta Mandi, Víctor Bucarey, Maxime Mulamba Ke Tchomba, Tias Guns
Publié dans: Proceedings of the 39th International Conference on Machine Learning;, Numéro Vol. 162, 2022, Page(s) 14935 - 14947
Éditeur: PMLR

Table Constraints for Integer Programming

Auteurs: Bierlee, Hendrik; Piessens, Wout; Stuckey, Peter; Guns, Tias
Publié dans: 32nd International Conference on Principles and Practice of Constraint Programming (CP 2026), 2026
Éditeur: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

Using Certifying Constraint Solvers for Generating Step-wise Explanations

Auteurs: Ignace Bleukx, Maarten Flippo, Bart Bogaerts, Emir Demirović, Tias Guns
Publié dans: Proceedings of the AAAI Conference on Artificial Intelligence, Numéro 40, 2026, Page(s) 14192-14200, ISSN 2374-3468
Éditeur: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/aaai.v40i17.38432

Feasibility-Aware Decision-Focused Learning for Predicting Parameters in the Constraints

Auteurs: Mandi, Jayanta; Defresne, Marianee; Berden, Senne; Guns, Tias
Publié dans: Advances in Neural Information Processing Systems 38 (NeurIPS 2025), 2025, ISSN 1049-5258
Éditeur: Morgan Kaufmann Publishers

Mutational Fuzz Testing for Constraint Modeling Systems.

Auteurs: Vanroose, Wout; Bleukx, Ignace; Devriendt, jo; Tsouros, dimos; Verhaeghe, hélène; Guns, tias
Publié dans: 30th International Conference on Principles and Practice of Constraint Programming (CP 2024), 2024, Page(s) 29:1--29:25, ISBN 978-3-95977-336-2
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.cp.2024.29

Sudoku Assistant – an AI-Powered App to Help Solve Pen-and-Paper Sudokus

Auteurs: Tias Guns, Emilio Gamba, Ignace Bleukx, Senne Berden, Milan Pesa
Publié dans: Proceedings of the AAAI Conference on Artificial Intelligence, Numéro vol. 37 (13), 2023, Page(s) 16440-16442
Éditeur: AAAI press
DOI: 10.1609/aaai.v37i13.27072

Contrastive Losses and Solution Caching for Predict-and-Optimize

Auteurs: Maxime Mulamba, Jayanta Mandi, Michelangelo Diligenti, Michele Lombardi, Victor Bucarey, Tias Guns
Publié dans: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Page(s) 2833-2840
Éditeur: ijcai.org
DOI: 10.24963/ijcai.2021/390

Constraint Modelling with LLMs Using In-Context Learning.

Auteurs: Michailidis, Kostis; Tsouros, Dimos; Guns, Tias
Publié dans: 30th International Conference on Principles and Practice of Constraint Programming (CP 2024), 2024, Page(s) 20:1--20:27, ISBN 978-3-95977-336-2
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.cp.2024.20

Efficiently Explaining CSPs with Unsatisfiable Subset Optimization

Auteurs: Emilio Gamba, Bart Bogaerts, Tias Guns
Publié dans: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Page(s) 1381-1388
Éditeur: ijcai.org
DOI: 10.24963/ijcai.2021/191

Solver-Free Decision-Focused Learning for Linear Optimization Problems

Auteurs: Berden, Senne; Mahmutogullari, Irfan; Tsouros, Dimos; Guns, Tias
Publié dans: Advances in neural information processing systems, 2025, ISSN 1049-5258
Éditeur: Morgan Kaufmann Publishers

Learning MAX-SAT Models from Examples Using Genetic Algorithms and Knowledge Compilation

Auteurs: Senne Berden, Mohit Kumar, Samuel Kolb, Tias Guns:
Publié dans: 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Numéro Volume 235, 2022, Page(s) 8:1-8:16, ISBN 978-3-95977-240-2
Éditeur: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (lzi)
DOI: 10.4230/lipics.cp.2022.8

Breaking Constraint Modelling Languages with Metamorphic Testing

Auteurs: Bleukx, Ignace; Vanroose, Wout; Devriendt, Jo; Tsouros, Dimos; Verhaeghe, Helene; Guns, Tias
Publié dans: The 22nd workshop on Constraint Modelling and Reformulation, 2023
Éditeur: online: https://modref.github.io/ModRef2023.html

Peer reviewed articles (7)

Anytime Lexicographic Enumeration of the Pareto Front in Multi‐Objective Combinatorial Optimisation

Auteurs: Marco Foschini, Dimos Tsouros, Bistra Dilkina, Tias Guns
Publié dans: Journal of Multi-Criteria Decision Analysis, Numéro 33, 2026, ISSN 1057-9214
Éditeur: John Wiley and Sons Ltd
DOI: 10.1002/mcda.70029

Probability Estimation and Structured Output Prediction for Learning Preferences in Last Mile Delivery

Auteurs: Rocsildes Canoy, Victor Bucarey, Jayanta Mandi, Maxime Mulamba, Yves Molenbruch, Tias Guns
Publié dans: Computers & Industrial Engineering, Numéro 189, 2023, Page(s) 109932, ISSN 0360-8352
Éditeur: Pergamon Press Ltd.
DOI: 10.2139/ssrn.4363937

Perception-based constraint solving for sudoku images

Auteurs: Maxime Mulamba, Jayanta Mandi, Ali İrfan Mahmutoğulları, Tias Guns
Publié dans: Constraints, Numéro 29, 2024, Page(s) 112-151, ISSN 1383-7133
Éditeur: Kluwer Academic Publishers
DOI: 10.1007/s10601-024-09372-9

Decision-Focused Learning: Foundations, State of the Art, Benchmark and Future Opportunities

Auteurs: Jayanta Mandi, James Kotary, Senne Berden, Maxime Mulamba, Victor Bucarey, Tias Guns, Ferdinando Fioretto
Publié dans: Journal of Artificial Intelligence Research, Numéro 80, 2024, Page(s) 1623-1701, ISSN 1076-9757
Éditeur: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.15320

Learn and route: learning implicit preferences for vehicle routing

Auteurs: Rocsildes Canoy, Víctor Bucarey, Jayanta Mandi, Tias Guns
Publié dans: Constraints, Numéro vol. 28; iss. 3, 2023, Page(s) 363 - 396, ISSN 1383-7133
Éditeur: Kluwer Academic Publishers
DOI: 10.1007/s10601-023-09363-2

Efficiently Explaining CSPs with Unsatisfiable Subset Optimization

Auteurs: Emilio Gamba, Bart Bogaerts, Tias Guns
Publié dans: Journal of Artificial Intelligence Research, Numéro 78, 2023, Page(s) 709-746, ISSN 1076-9757
Éditeur: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.14260

Generalizing Constraint Models in Constraint Acquisition

Auteurs: Dimos Tsouros, Senne Berden, Steven Prestwich, Tias Guns
Publié dans: Proceedings of the AAAI Conference on Artificial Intelligence, Numéro 39, 2025, Page(s) 11362-11371, ISSN 2374-3468
Éditeur: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/aaai.v39i11.33236

Book chapters (2)

CP-Bench: Evaluating Large Language Models for Constraint Modelling

Auteurs: Kostis Michailidis, Dimos Tsouros, Tias Guns
Publié dans: Frontiers in Artificial Intelligence and Applications, ECAI 2025, 2025
Éditeur: IOS Press
DOI: 10.3233/faia250890

Minimizing Surrogate Losses for Decision-Focused Learning Using Differentiable Optimization

Auteurs: Jayanta Mandi, Ali İrfan Mahmutoğulları, Senne Berden, Tias Guns
Publié dans: Frontiers in Artificial Intelligence and Applications, ECAI 2025, 2025
Éditeur: IOS Press
DOI: 10.3233/faia251273