Conversational Human-Aware Technology for Optimisation

Información del proyecto

CHAT-Opt

Identificador del acuerdo de subvención: 101002802

DOI

10.3030/101002802

Proyecto cerrado

Fecha de la firma de la CE 30 Marzo 2021

Fecha de inicio 1 Junio 2021

Fecha de finalización 31 Mayo 2026

Financiado con arreglo a

• EXCELLENT SCIENCE - European Research Council (ERC)

Coste total

€ 1 893 125,00

Aportación de la UE

€ 1 893 125,00

Coordinado por

KATHOLIEKE UNIVERSITEIT LEUVEN
Belgium

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Resultado final

Open Research Data Pilot (1)

Data Management Plan

Publicaciones

Other (3)

Things we underestimated while developing the CPMpy constraint modelling library

Autores: Tias Guns, Dimosthenis Tsouros
Publicado en: The 22nd workshop on Constraint Modelling and Reformulation, 2023
Editor: online: https://modref.github.io/ModRef2023.html

Holy Grail 2.0: From Natural Language to Constraint Models

Autores: Dimosthenis Tsouros, Helene Verhaeghe, Serdar Kadioglu, Tias Guns
Publicado en: Progress Toward the Holy Grail workshop at CP2023, 2023
Editor: 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

Autores: Tias Guns, Milan Pesa, Maxime Mulamba, Ignace Bleukx, Emilio Gamba, and Senne Berden
Publicado en: BNAIC/BeNeLearn AI & ML conference for Belgium, Netherlands & Luxembourg, 2022
Editor: Benelux Association for Artificial Intelligence (BNVKI)

Conference proceedings (30)

Learning to Learn in Interactive Constraint Acquisition

Autores: Dimosthenis Tsouros, Senne Berden, Tias Guns
Publicado en: Proceedings of the AAAI Conference on Artificial Intelligence, Edición 8, 2024, Página(s) 8154-8162
Editor: AAAI Press
DOI: 10.1609/aaai.v38i8.28655

Efficient Modeling of Half-reified Global Constraints

Autores: Bleukx, Ignace; Verhaeghe, Hélène; Tsouros, Dimos; Guns, Tias
Publicado en: The 23rd workshop on Constraint Modelling and Reformulation, 2024
Editor: online: https://modref.github.io/ModRef2024.html

Exploiting Symmetries in MUS Computation

Autores: Ignace Bleukx, Hélène Verhaeghe, Bart Bogaerts, Tias Guns
Publicado en: Proceedings of the AAAI Conference on Artificial Intelligence, Edición 39, 2025, Página(s) 11122-11130, ISSN 2374-3468
Editor: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/aaai.v39i11.33209

Learning Preferences over Unsatisfiable Subsets

Autores: Gamba, Emilio; Foschini, Marco; Mandi, Jayanta; Bogaerts, Bart; Guns, Tias
Publicado en: PTHG-24: The Seventh Workshop on Progress Towards the Holy Grail, 2024
Editor: PTHG

Improving Reduction Techniques in Pseudo-Boolean Conflict Analysis.

Autores: Orestis Lomis; Jo Devriendt; Hendrik Bierlee; Tias Guns
Publicado en: 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), Edición 1, 2025
Editor: Schloss Dagstuhl – Leibniz-Zentrum für Informatik

CPMpy_* submissions to the XCSP3 competition

Autores: Guns, Tias; Vanroose, Wout; Sergeys, Thomas; Bleukx, Ignace; Devriendt, Jo; Tsouros, Dimos; Verhaeghe, Hélène
Publicado en: Proceedings of the 2024 XCSP3 Competition, 2024
Editor: Arxiv: https://arxiv.org/abs/2412.00117

Towards Step-wise Explanations Of Large Search Trees

Autores: Bleukx, Ignace; J. Stuckey, Peter; Guns, Tias
Publicado en: 32nd International Conference on Principles and Practice of Constraint Programming, 2026
Editor: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

CPMpy_* submissions to the XCSP3 competition

Autores: Guns, Tias; Sergeys, Thomas; Bleukx, Ignace; Tsouros, Dimos; Bierlee, Hendrik
Publicado en: Proceedings of the 2025 XCSP3 Competition, 2025
Editor: Arxiv: https://arxiv.org/abs/2511.06918

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

Autores: Sergeys, Thomas; Bleukx, Ignace; Guns, Tias
Publicado en: 29th International Conference on Theory and Applications of Satisfiability Testing (SAT 2026), 2026
Editor: Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing

Simplifying Step-wise Explanation Sequences

Autores: Ignace Bleukx, Jo Devriendt, Emilio Gamba, Bart Bogaerts, Tias Guns
Publicado en: Leibniz International Proceedings in Informatics (LIPIcs), Edición Volume 280, 2023, Página(s) 11:1 - 11:20
Editor: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.cp.2023.11

Large Language Models for Explaining Unsatisfiable Constraint Satisfaction Problems

Autores: Bleukx, Ignace; Guns, Tias
Publicado en: LLMs meet Constraint Solving 2026 - FLOC &CP 2026 Workshop, 2026
Editor: Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing

Preference Elicitation for Step-Wise Explanations in Logic Puzzles

Autores: Marco Foschini, Marianne Defresne, Emilio Gamba, Bart Bogaerts, Tias Guns
Publicado en: Proceedings of the AAAI Conference on Artificial Intelligence, Edición 40, 2026, Página(s) 14225-14233, ISSN 2374-3468
Editor: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/aaai.v40i17.38436

Guided Bottom-Up Interactive Constraint Acquisition

Autores: Dimosthenis Tsouros, Senne Berden, Tias Guns
Publicado en: Leibniz International Proceedings in Informatics (LIPIcs), 2023, Página(s) 36:1 - 36:20
Editor: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.cp.2023.36

An Efficient Structured Perceptron for NP-Hard Combinatorial Optimization Problems

Autores: Bastián Véjar, Gaël Aglin, Ali İrfan Mahmutoğulları, Siegfried Nijssen, Pierre Schaus, Tias Guns
Publicado en: Integration of Constraint Programming, Artificial Intelligence, and Operations Research, proceedings, 2024, Página(s) 253--262, ISBN 978-3-031-60599-4
Editor: 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

Autores: Marianne Defresne, Jayanta Mandi, Tias Guns
Publicado en: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2025, Página(s) 2583-2591
Editor: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2024/288

Model-Based Algorithm Configuration with Adaptive Capping and Prior Distributions

Autores: Ignace Bleukx, Senne Berden, Lize Coenen, Nicholas Decleyre, Tias Guns
Publicado en: Integration of Constraint Programming, Artificial Intelligence, and Operations Research. Lecture Notes in Computer Science, Edición volume 13292, 2022, Página(s) 64-73
Editor: Springer
DOI: 10.1007/978-3-031-08011-1_6

From CP Modeling to Preference Elicitation in HMLV Assembly Problems

Autores: Foschini, Marco; Gamba, Emilio; Kletzander, Lucas; Guns, Tias
Publicado en: 32nd International Conference on Principles and Practice of Constraint Programming (CP 2026), 2026
Editor: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

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

Autores: Mohit Kumar, Samuel Kolb, Tias Guns
Publicado en: 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Edición Volume 235, 2022, Página(s) 29:1 - 29:16, ISBN 978-3-95977-240-2
Editor: 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

Autores: Jayanta Mandi, Víctor Bucarey, Maxime Mulamba Ke Tchomba, Tias Guns
Publicado en: Proceedings of the 39th International Conference on Machine Learning;, Edición Vol. 162, 2022, Página(s) 14935 - 14947
Editor: PMLR

Table Constraints for Integer Programming

Autores: Bierlee, Hendrik; Piessens, Wout; Stuckey, Peter; Guns, Tias
Publicado en: 32nd International Conference on Principles and Practice of Constraint Programming (CP 2026), 2026
Editor: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

Using Certifying Constraint Solvers for Generating Step-wise Explanations

Autores: Ignace Bleukx, Maarten Flippo, Bart Bogaerts, Emir Demirović, Tias Guns
Publicado en: Proceedings of the AAAI Conference on Artificial Intelligence, Edición 40, 2026, Página(s) 14192-14200, ISSN 2374-3468
Editor: 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

Autores: Mandi, Jayanta; Defresne, Marianee; Berden, Senne; Guns, Tias
Publicado en: Advances in Neural Information Processing Systems 38 (NeurIPS 2025), 2025, ISSN 1049-5258
Editor: Morgan Kaufmann Publishers

Mutational Fuzz Testing for Constraint Modeling Systems.

Autores: Vanroose, Wout; Bleukx, Ignace; Devriendt, jo; Tsouros, dimos; Verhaeghe, hélène; Guns, tias
Publicado en: 30th International Conference on Principles and Practice of Constraint Programming (CP 2024), 2024, Página(s) 29:1--29:25, ISBN 978-3-95977-336-2
Editor: "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

Autores: Tias Guns, Emilio Gamba, Ignace Bleukx, Senne Berden, Milan Pesa
Publicado en: Proceedings of the AAAI Conference on Artificial Intelligence, Edición vol. 37 (13), 2023, Página(s) 16440-16442
Editor: AAAI press
DOI: 10.1609/aaai.v37i13.27072

Contrastive Losses and Solution Caching for Predict-and-Optimize

Autores: Maxime Mulamba, Jayanta Mandi, Michelangelo Diligenti, Michele Lombardi, Victor Bucarey, Tias Guns
Publicado en: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Página(s) 2833-2840
Editor: ijcai.org
DOI: 10.24963/ijcai.2021/390

Constraint Modelling with LLMs Using In-Context Learning.

Autores: Michailidis, Kostis; Tsouros, Dimos; Guns, Tias
Publicado en: 30th International Conference on Principles and Practice of Constraint Programming (CP 2024), 2024, Página(s) 20:1--20:27, ISBN 978-3-95977-336-2
Editor: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.cp.2024.20

Efficiently Explaining CSPs with Unsatisfiable Subset Optimization

Autores: Emilio Gamba, Bart Bogaerts, Tias Guns
Publicado en: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Página(s) 1381-1388
Editor: ijcai.org
DOI: 10.24963/ijcai.2021/191

Solver-Free Decision-Focused Learning for Linear Optimization Problems

Autores: Berden, Senne; Mahmutogullari, Irfan; Tsouros, Dimos; Guns, Tias
Publicado en: Advances in neural information processing systems, 2025, ISSN 1049-5258
Editor: Morgan Kaufmann Publishers

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

Autores: Senne Berden, Mohit Kumar, Samuel Kolb, Tias Guns:
Publicado en: 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Edición Volume 235, 2022, Página(s) 8:1-8:16, ISBN 978-3-95977-240-2
Editor: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (lzi)
DOI: 10.4230/lipics.cp.2022.8

Breaking Constraint Modelling Languages with Metamorphic Testing

Autores: Bleukx, Ignace; Vanroose, Wout; Devriendt, Jo; Tsouros, Dimos; Verhaeghe, Helene; Guns, Tias
Publicado en: The 22nd workshop on Constraint Modelling and Reformulation, 2023
Editor: online: https://modref.github.io/ModRef2023.html

Peer reviewed articles (7)

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

Autores: Marco Foschini, Dimos Tsouros, Bistra Dilkina, Tias Guns
Publicado en: Journal of Multi-Criteria Decision Analysis, Edición 33, 2026, ISSN 1057-9214
Editor: John Wiley and Sons Ltd
DOI: 10.1002/mcda.70029

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

Autores: Rocsildes Canoy, Victor Bucarey, Jayanta Mandi, Maxime Mulamba, Yves Molenbruch, Tias Guns
Publicado en: Computers & Industrial Engineering, Edición 189, 2023, Página(s) 109932, ISSN 0360-8352
Editor: Pergamon Press Ltd.
DOI: 10.2139/ssrn.4363937

Perception-based constraint solving for sudoku images

Autores: Maxime Mulamba, Jayanta Mandi, Ali İrfan Mahmutoğulları, Tias Guns
Publicado en: Constraints, Edición 29, 2024, Página(s) 112-151, ISSN 1383-7133
Editor: Kluwer Academic Publishers
DOI: 10.1007/s10601-024-09372-9

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

Autores: Jayanta Mandi, James Kotary, Senne Berden, Maxime Mulamba, Victor Bucarey, Tias Guns, Ferdinando Fioretto
Publicado en: Journal of Artificial Intelligence Research, Edición 80, 2024, Página(s) 1623-1701, ISSN 1076-9757
Editor: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.15320

Learn and route: learning implicit preferences for vehicle routing

Autores: Rocsildes Canoy, Víctor Bucarey, Jayanta Mandi, Tias Guns
Publicado en: Constraints, Edición vol. 28; iss. 3, 2023, Página(s) 363 - 396, ISSN 1383-7133
Editor: Kluwer Academic Publishers
DOI: 10.1007/s10601-023-09363-2

Efficiently Explaining CSPs with Unsatisfiable Subset Optimization

Autores: Emilio Gamba, Bart Bogaerts, Tias Guns
Publicado en: Journal of Artificial Intelligence Research, Edición 78, 2023, Página(s) 709-746, ISSN 1076-9757
Editor: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.14260

Generalizing Constraint Models in Constraint Acquisition

Autores: Dimos Tsouros, Senne Berden, Steven Prestwich, Tias Guns
Publicado en: Proceedings of the AAAI Conference on Artificial Intelligence, Edición 39, 2025, Página(s) 11362-11371, ISSN 2374-3468
Editor: 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

Autores: Kostis Michailidis, Dimos Tsouros, Tias Guns
Publicado en: Frontiers in Artificial Intelligence and Applications, ECAI 2025, 2025
Editor: IOS Press
DOI: 10.3233/faia250890

Minimizing Surrogate Losses for Decision-Focused Learning Using Differentiable Optimization

Autores: Jayanta Mandi, Ali İrfan Mahmutoğulları, Senne Berden, Tias Guns
Publicado en: Frontiers in Artificial Intelligence and Applications, ECAI 2025, 2025
Editor: IOS Press
DOI: 10.3233/faia251273