Automated Parameter Configuration for an SMT Solver

Truong, Duy Tin (2010) Automated Parameter Configuration for an SMT Solver. UNSPECIFIED. (Unpublished)

Download (1053Kb) | Preview


    In this thesis, we use an Automatic Configuration Framework (implemented in ParamILS) to find the most suitable techniques for a set of popular theories solved by Satisfiability Modulo Theories (SMT). The techniques that we investigate are the most effective techniques of interest for the lazy SMT and which have been proposed in various communities and implemented in the MathSAT tool. The ultimate goal of this thesis is to provide the guidelines about the choice of optimized techniques for solving popular theories using SMT.

    Item Type: Departmental Technical Report
    Department or Research center: Information Engineering and Computer Science
    Subjects: Q Science > QA Mathematics > QA075 Electronic computers. Computer science
    Additional Information: Degree thesis.
    Report Number: DISI-10-057
    Repository staff approval on: 14 Dec 2010

    Actions (login required)

    View Item