Optimisation research group

Att fatta bättre beslut
Beskrivning
Att lösa ett optimeringsproblem handlar om att hitta lösningar som uppfyller vissa villkor. Man är ofta intresserad av de bästa lösningarna. Vår grupp fokuserar på diskret optimering, där en lösning kan vara en resursfördelning (t.ex. ett personalschema, med arbetsregler och anställdas preferenser som begränsningar), en packning (t.ex. av containrar), en plan, en uppsättning rutter (t.ex. för fordon inom logistik eller dataflöden i ett kommunikationsnät), ett schema (t.ex. ett skolschema) eller en plan för energianvändning (t.ex. för laddning av elbussar).
Utmaningen är att hitta bra lösningar snabbt. Vår forskning fokuserar på att identifiera nya och effektiva optimeringsmodeller och -metoder, ofta med utgångspunkt i verkliga tillämpningar, vanligtvis via metoder från underområdena matematisk programmering, villkorsprogrammering och lokal sökning.
Forskningsämnen
- Villkorsprogrammering (constraint programming, CP) är ett AI-förhållningssätt till optimering: modelleringsspråk; högnivåvillkor; högnivåtyper för beslutsvariabler; symmetribrytning
- Lokalsökning (local search, LS): modelleringsspråk; sökspråk; design av lösare (solvers); autonom sökning
- Matematisk optimering (mathematical programming, MP): effektiv optimeringsmodellering; linjär programmering (LP) samt heltalsprogrammering (MIP)
- Tillämpad optimering: optimering av flygrutter och luftrum; resursstyrning i nätverkssystem och mobil telekommunikation; sönderdelning vid sågverk; mjukvarutest, -analys och -verifiering; ruttplanering av fordon för till exempel avfallshantering och vägunderhåll; schemaläggning av batteriladdning av elbussar; osv
Seniora forskare
- Pierre Flener (se även hans hemsida): CP, LS, tillämpningar
- María Andreína Francisco Rodríguez (se även hennes hemsida): CP, tillämpningar
- Justin Pearson (se även hans hemsida): CP, LS, tillämpningar
- Di Yuan: MP, tillämpningar
Evenemang
- Vi anordnade CPAIOR 2024, the 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research.
- Vi är grundarna av NordConsNet, the Nordic Network for researchers and practitioners of Constraint programming: om du vill bli informerad om dess årliga workshops, registrera dig på dess e-postlista genom att kontakta Justin Pearson.
Forskningspriser
- Gustav Björdal: Honorable Mention for the ACP Doctoral Research Award, 2023 (PhD dissertation)
- Mats Carlsson: ACP Research Excellence Award, 2023
- Lei You: INFORMS Telecommunications & Network Analytics Best Dissertation Award, 2020 (PhD dissertation)
Mjukvara
- Vår GitHub repository, inklusive vår Atlantis CBLS backend till MiniZinc
- Vår fzn-oscar-cbls backend till MiniZinc använder lösaren OscaR.cbls
- Presolving through tabling, för MiniZinc
- Bounded-length string variables & constraints, för Gecode
Utbildning
- 1DL442: Kombinatorisk optimering och villkorsprogrammering (10 hp): CP, LS, tillämpningar
- 1DL451: Modellering för kombinatorisk optimering (5 hp): CP, LS, MP, SAT, SMT, tillämpningar
- 1DL481: Algoritmer och datastrukturer III (5 hp): LS, MP, SAT, SMT, tillämpningar
- 1TD184: Optimeringsmetoder (5 hp): MP, tillämpningar