titoli, abstracts, parole chiave >>>
Designing a solver competition: the QBFEVAL'10 case study

Peschiera, Claudia and Pulina, Luca and Tacchella, Armando (2012) Designing a solver competition: the QBFEVAL'10 case study. In: EMSQMS 2010: 1. International Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions, 20 July 2010, Edinburgh, UK. [S.l.], EasyChair. p. 19-32. (EasyChair Proceedings in Computing, 6). Conference or Workshop Item.

Full text not available from this repository.

Alternative URLs:


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 evaluation setup, from the criteria used to select QBF instances down to the hardware 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:7789
Uncontrolled Keywords:Quantified Boolean formulas, QBF competition
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à
Deposited On:17 Jul 2012 13:13

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

Repository Staff Only: item control page