Academy of Finland  
Funding decision
Organisation University of Helsinki
Project title Next-Generation Trustworthy Constraint Optimisation
Applicant / Contact person Berg, Jeremias
Decision No. 342145
Decision date 03.06.2021
Funding period 01.09.2021 - 31.08.2024
Funding 250 430
Project description
The project aims to improve declarative constraint-based methods as tools for solving real-world NP-hard optimisation problems. As such problems are ubiquitous in modern society, effective solution methods to them can save time, money and other resources across various domains. We will create new solvers and tools that leverage the strengths and alleviate the weaknesses of existing approaches in order to solve instances that are unattainable by currently existing methods. Additionally, we will develop theory describing certificates of optimality that are then used to improve the trustworthiness of constraint optimisation on the whole. Throughout the project, we identify new industrial optimisation problems on which our methods are effective and develop constraint-based solution methods to them.