On Structural Information and the Experimental Evaluation of SMT Tools - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2005

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.
Fichier principal
Vignette du fichier
paper.pdf (113.02 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00105894 , version 1 (14-11-2006)

Identifiers

  • HAL Id : inria-00105894 , version 1

Cite

Najet Boughanmi, Silvio Ranise, Christophe Ringeissen. On Structural Information and the Experimental Evaluation of SMT Tools. International Workshop on First-Order Theorem Proving - FTP'2005, Sep 2005, Koblenz, Germany. ⟨inria-00105894⟩
130 View
176 Download

Share

Gmail Facebook X LinkedIn More