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.
Automated Parameter Configuration for an SMT Solver / Truong, Duy Tin. - ELETTRONICO. - (2010), pp. 1-139.
Automated Parameter Configuration for an SMT Solver
Truong, Duy Tin
2010-01-01
Abstract
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.| File | Dimensione | Formato | |
|---|---|---|---|
|
Automated_Parameter_Configuration.pdf
accesso aperto
Tipologia:
Versione editoriale (Publisher’s layout)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
1.05 MB
Formato
Adobe PDF
|
1.05 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
