Essays about: "Magnus Hallin"

Found 1 essay containing the words Magnus Hallin.

  1. 1. SMT-Based Reasoning and Planning in TAL

    University essay from Institutionen för datavetenskap

    Author : Magnus Hallin; [2010]
    Keywords : Satisfiability Modulo Theories; Temporal Action Logic; automated planning; iPhone; game;

    Abstract : Automated planning as a satisfiability problem is a method developed in theearly nineties. It has some known disadvantages, such as its inefficient encod-ing of numbers. The field of Satisfiability Modulo Teories tries to connectalready established solvers for e.g. READ MORE