optimeringslogik
Optimeringslogik är ett forskningsområde inom matematikens logik och datorvetenskap som studerar hur optimeringsproblem kan beskrivas och hanteras inom formella språk. Målsättningen är att skriva specifikationer där målfunktionen, begränsningar och preferenser uttrycks tillsammans med logiska villkor om problemets objekt, så att automatiserade metoder kan söka efter bästa lösning under givna villkor.
Formaliseringarna är varierande och inkluderar: utökning av första ordningens logik med optimeringsoperatorer; semiringbaserade mjuka begränsningsramar; optimering
Teoretiska frågor inom optimeringslogik rör uttrycksmöjlighet, avgörbarhet och kompleksitet hos språken som används för att beskriva
Metoder och verktyg innefattar reducering till SAT/SMT och deras optimeringsvarianter, branch-and-bound-tekniker, samt klassiska metoder från linjär
Användningar förekommer inom planering, schemaläggning, resursfördelning, konfigurationsproblem, programvaruverifikation och systemsyntes. Optimeringslogik fungerar ofta som en bro