Browsing NTNU Open by Author "Sæbø, Karoline Kanestrøm"
Now showing items 1-1 of 1
-
Exploring Z3 for the Fair Allocation Domain
Sæbø, Karoline Kanestrøm (Master thesis, 2023)Denne masteroppgaven utforsker hvordan Z3, en "satisfiability modulo theories solver" (SMT-løser), kan brukes innenfor feltet rettferdig fordeling. Z3 ble testet for tilfeller der varene som skal fordeles er udelelige, og ...