On Structural Information and the Experimental Evaluation of SMT Tools
Abstract
We are interested in studying the impact of various pre-processing transformations of ground formulae on the performances of Satisfiability Modulo Theory tools (based on the integration between an enumerator of truth assignments and a satisfiability procedure for conjunction of literals in some theory) which are supposed to discharge them. We briefly discuss our preliminary experiences.
Domains
Mobile Computing
Loading...