UnissResearch

Logo Universitàegli studi di Sassari
titoli, abstracts, parole chiave >>>
Report of the third QBF solvers evaluation

Narizzano, Massimo and Pulina, Luca and Tacchella, Armando (2006) Report of the third QBF solvers evaluation. Journal on Satisfiability, Boolean Modeling and Computation, Vol. 2 , p. 145-164. eISSN 1574-0617. Article.

Full text not available from this repository.

Alternative URLs:

Abstract

This paper reports about the 2005 comparative evaluation of solvers for quantified Boolean formulas (QBFs), the third in a series of non-competitive events established with the aim of assessing the advancements in the eld of QBF reasoning and related research. We evaluated thirteen solvers on a test set of more than three thousands QBFs, selected from instances submitted to the evaluation and from those available at www.qbflib.org. In the paper we present the evaluation infrastructure, from the criteria used to assemble the test set to the hardware set up, and we show dierent views about the results obtained, highlighting the strength of dierent solvers and the relative hardness of the instances included in the test set.

Item Type:Article
ID Code:7115
Status:Published
Refereed:Yes
Uncontrolled Keywords:Quantified Boolean formulas, empirical evaluation, automated reasoning tools
Subjects:Area 09 - Ingegneria industriale e dell'informazione > ING-INF/05 Sistemi di elaborazione delle informazioni
Divisions:001 Università di Sassari > 01 Dipartimenti > Economia, istituzioni e società
Publisher:IOS Press
eISSN:1574-0617
Copyright Holders:© 2006 Delft University of Technology and the authors
Deposited On:14 Feb 2012 13:21

I documenti depositati in UnissResearch sono protetti dalle leggi che regolano il diritto d'autore

Repository Staff Only: item control page