titoli, abstracts, parole chiave >>>
The Seventh QBF solvers evaluation (QBFEVAL’10)

Peschiera, Claudia and Pulina, Luca and Tacchella, Armando and Bubeck, Uwe and Kullmann, Oliver and Lynce, Inês (2010) The Seventh QBF solvers evaluation (QBFEVAL’10). In: Theory and Applications of Satisfiability Testing: 13th International Conference, SAT 2010, 11-14 July 2010, Edinburgh, United Kingdom. Berlin - Heidelberg, Springer. p. 237-250. (Lecture Notes in Computer Science, 6175/2010). ISBN 978-3-642-14185-0. Conference or Workshop Item.

Full text not available from this repository.

DOI: 10.1007/978-3-642-14186-7_20


In this paper we report about QBFEVAL’10, the seventh in a series of events established with the aim of assessing the advancements in reasoning about quantified Boolean formulas (QBFs). The paper discusses the results obtained and the experimental setup, from the criteria used to select QBF instances to the evaluation infrastructure. We also discuss the current state-of-the-art in light of past challenges and we envision future research directions that are motivated by the results of QBFEVAL’10.

Item Type:Conference or Workshop Item (Contribute)
ID Code:7220
Uncontrolled Keywords:QBFEVAL’10, Boolean formulas, QBF solvers
Divisions:001 Università di Sassari > 01 Dipartimenti > Economia, istituzioni e società
Deposited On:14 Mar 2012 13:27

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

Repository Staff Only: item control page