Advanced search
Found 1 essay matching the above criteria.
-
1. Normalization of SMT-LIB scripts
University essay from Uppsala universitet/Institutionen för informationsteknologiAbstract : 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
Result pages:
1