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.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

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)