Truong, Duy Tin (2010) Automated Parameter Configuration for an SMT Solver. UNSPECIFIED. (Unpublished)
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.
Actions (login required)