Advanced search

Found 1 essay matching the above criteria.

  1. 1. Normalization of SMT-LIB scripts

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Kristian Ionescu; [2016]
    Keywords : ;

    Abstract : Satisfiability modulo theories (SMT) is about determining the satisfiability of logical formulas over a range of one or more theories. SMT solvers are programs that are designed to determine the satisfiability of logical formulas and to find a satisfying model. READ MORE