Projektet studerar villkorssoptimeringsmetoder för lösning av kombinatoriska optimeringsproblem. Villkorsmetoder löser kombinatoriska optimeringsproblem genom att representera de möjliga lösningarna med matematiska villkor, och sedan lösa villkoren. Villkorsprogrammering är en allmän teknik som kan appliceras för att lösa optimeringsproblem i alla de åtskilliga tillämpningar där kombinatoriska optimeringsproblem uppkommer. Exempel på sådana är olika typers planeringsuppgifter, träning av AI modeller, data analys, samt ett antal medicinska tillämpningar som DNA skevensering, cancerbehandling och planering av organdonationer. Förutom effektivitet, möjliggör den formella teorin som villkorsmetoder grundar sig på produktion av matematiska bevis av lösningarnas korrekthet. Därmed besvarar de effektiva villkorsmetoderna som projektet producerar den konstant ökande begäran på pålitliga algoritmiska metoder i samhället.

2024

2028