On Structural Information and the Experimental Evaluation of SMT Tools
Résumé
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.
Domaines
Informatique mobile
Loading...