CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
This project focuses on improving combinatorial optimization tools to ensure they solve problems correctly. By developing methodologies that provide end-to-end correctness guarantees, it aims to enhance the reliability of optimization software used in critical decision-making processes.
The field of combinatorial optimization is concerned with developing generic tools that take a declarative problem description and automatically compute an optimal solution to it.
Often, users specify their problem in a high-level, human-understandable formal language.
This specification is first translated into a low-level specification a solver understands and subsequently solved.
Thanks to tremendous progress in solving technology, we can now solve a wide variety of NP-hard (or worse) problem…
KATHOLIEKE UNIVERSITEIT LEUVEN
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Belgium, Bruxelles / Brussel
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
Guests see up to 5 keywords.
