Essays about: "Ann LilliestrÖm"

Found 1 essay containing the words Ann LilliestrÖm.

  1. 1. The Infinox Infinity Inferrer - A Complement to Finite Model Finding

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : ANN LILLIESTRÖM; [2010-03-04T12:17:59Z]
    Keywords : ;

    Abstract : Infinox is an automated reasoning tool that can disprove the existence of finite models of first-order theories. It is a tool of both theoretical and practical value and is especially well suited as a complement to finite model finders. READ MORE