Sökning: "Carl Einarson"

Hittade 2 uppsatser innehållade orden Carl Einarson.

1. 1. An extension of the PPSZ Algorithm to Infinite-Domain Constraint Satisfaction Problems

   Master-uppsats, Linköpings universitet/Programvara och system

   Författare :Carl Einarson; [2017]
   Nyckelord :CSP; Algorithms;

   Sammanfattning : The PPSZ algorithm (Paturi et al., FOCS 1998) is the fastest known algorithm for solving k-SAT when k >= 4. Hertli et al. recently extended the algorithm to solve (d, k)-Clause Satisfaction problems ((d,k)-ClSP) for which it is the fastest known algorithm for all k >= 3 (Hertli et al. LÄS MER

3. 2. En undersökning i riskhantering för vidareutveckling av redan existerande projekt

   Kandidat-uppsats, Linköpings universitet/Institutionen för datavetenskap; Linköpings universitet/Tekniska högskolan

   Författare :Anders Söderström; Carl Einarson; Fredrik Präntare; Jon Dybeck; Marcus Jonsson; Martin Bodin; Mattias Lantz Cronqvist; Oscar Nöjdh; [2014]
   Nyckelord :vidareutveckling; programvaruutveckling; programvaruprojekt; programvaruutvecklingsprojekt;

   Sammanfattning : Digimergo är en digitalisering av Emergo Train System, ett system där personal inom räddningstjänst kan öva på olika katastrofscenarion. För att göra Digimergo användbart behövdes ytterligare programvara: ett administrationsverktyg till övningar och en scenarioeditor. LÄS MER