The Ninth QBF Solvers Evaluation - Preliminary Report

@inproceedings{Pulina2016TheNQ,
  title={The Ninth QBF Solvers Evaluation - Preliminary Report},
  author={Luca Pulina},
  booktitle={QBF@SAT},
  year={2016}
}
In this paper we report about the 2016 competitive evaluation of quantified Boolean formulas (QBFs) solvers (QBFEVAL’16), the last in a series of events established with the aim of assessing the advancements in reasoning about QBFs. Aim of this preliminary report is to show at a glance design and results of QBFEVAL’16. 

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
8 Extracted Citations
53 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 53 references

SAT Competition 2016

  • T. Balyo, M. J. Heule, M. Järvisalo
  • 2016
Highly Influential
9 Excerpts

Extension of generalized tic-tac-toe: p stones for one move

  • Diptarama, K. Narisawa, A. Shinohara
  • IPSJ Journal 55
  • 2014
Highly Influential
3 Excerpts

Clause-Term Resolution and Learning in Quantified Boolean Logic Satisfiability

  • E. Giunchiglia, M. Narizzano, A. Tacchella
  • Artificial Intelligence Research 26
  • 2006
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…