QBFLIB

Quantified Boolean formulas satisfiability library (QBFLIB). QBFLIB is a collection of instances, solvers, and tools related to Quantified Boolean Formula (QBF) satisfiability. QBFLIB is meant as a service to the QBF research community and its main goal is to provide an uniform test-bed for the empirical characterization of QBF solvers.


References in zbMATH (referenced in 16 articles )

Showing results 1 to 16 of 16.
Sorted by year (citations)

  1. Calimeri, Francesco; Gebser, Martin; Maratea, Marco; Ricca, Francesco: Design and results of the Fifth Answer Set Programming Competition (2016)
  2. Kroening, Daniel; Strichman, Ofer: Decision procedures. An algorithmic point of view (2016)
  3. Lonsing, Florian; Seidl, Martina; Van Gelder, Allen: The QBF Gallery: behind the scenes (2016)
  4. Rabe, Markus N.; Seshia, Sanjit A.: Incremental determinization (2016)
  5. Areces, Carlos; Orbe, Ezequiel: Symmetric blocking (2015)
  6. Tu, Kuan-Hua; Hsu, Tzu-Chien; Jiang, Jie-Hong R.: QELL: QBF reasoning with extended clause learning and levelized SAT solving (2015)
  7. Areces, Carlos; Orbe, Ezequiel: Dealing with symmetries in modal tableaux (2013)
  8. Goultiaeva, Alexandra; Bacchus, Fahiem: Recovering and utilizing partial duality in QBF (2013)
  9. Janota, Mikoláš; Marques-Silva, Joao: Abstraction-based algorithm for 2QBF (2011)
  10. Goultiaeva, Alexandra; Bacchus, Fahiem: Exploiting circuit representations in QBF solving (2010)
  11. Goultiaeva, Alexandra; Iverson, Vicki; Bacchus, Fahiem: Beyond CNF: a circuit-based QBF solver (2009)
  12. Pulina, Luca; Tacchella, Armando: A self-adaptive multi-engine solver for quantified Boolean formulas (2009)
  13. Bubeck, Uwe; Kleine Büning, Hans: Bounded universal expansion for preprocessing QBF (2007)
  14. Narizzano, Massimo; Pulina, Luca; Tacchella, Armando: Report of the third QBF solvers evaluation (2006)
  15. Le Berre, Daniel; Simon, Laurent: Fifty-five solvers in Vancouver: The SAT 2004 competition (2005)
  16. Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando: QuBE++: An efficient QBF solver (2004)