Sökning: "Erik Rimskog"

Hittade 2 uppsatser innehållade orden Erik Rimskog.

1. 1. A Linter for Static Analysis of MiniZinc Models

   Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

   Författare :Erik Rimskog; [2021]
   Nyckelord :linter MiniZinc combinatorial optimisation static analysis models;

   Sammanfattning : MiniZinc is a modelling language for constraint satisfaction and optimisation problems. It can be used to solve difficult problems by declaratively modelling them and giving them to a generic solver. A linter, a tool for static analysis, is implemented for MiniZinc to provide analysis for improving models. LÄS MER

3. 2. Tjänst för skapande och ifyllande av juridiska avtal i ett interaktivt dialogsystem

   Kandidat-uppsats, Uppsala universitet/Institutionen för informationsteknologi

   Författare :Johan Boström; Daniel Jansson; Martin Larsson; Erik Rimskog; [2019]
   Nyckelord :;

   Sammanfattning : Everyone will, sooner or later, have to sign a legally binding agreement. Two examples of such agreements are purchase agreements for a car and a consultant agreement for when someone is recruited as a consultant. Many of these agreements follow a standard template and rarely change. LÄS MER