EasyChair Proceedings in Computing
Search
Paper Information
Paper:Claudia Peschiera, Luca Pulina and Armando Tacchella
Designing a solver competition: the QBFEVAL'10 case study
Title:Designing a solver competition: the QBFEVAL'10 case study
Authors:Claudia Peschiera, Luca Pulina and Armando Tacchella
Keyphrases:quantified boolean formulas, qbf competition
Abstract: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.
Volume:Aaron Stump, Geoff Sutcliffe and Cesare Tinelli (editors). EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions
Series:EasyChair Proceedings in Computing
Volume number:6
Pages:19-32
Editors:Aaron Stump, Geoff Sutcliffe and Cesare Tinelli
BibTeX entry:
@inproceedings{EMSQMS2010:Designing_a_solver_competition_the_QBFEVAL_10_case_study,
  author    = {Claudia Peschiera and Luca Pulina and Armando Tacchella},
  title     = {Designing a solver competition: the QBFEVAL'10 case study},
  booktitle = {EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions},
  editor    = {Aaron Stump and Geoff Sutcliffe and Cesare Tinelli},
  series    = {EasyChair Proceedings in Computing},
  volume    = {6},
  pages     = {19-32},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2040-557X}}
Paper: