×

QBFLIB

swMATH ID: 9581
Software Authors: Giunchiglia, E.; Narizzano, M.; Tacchella, A.
Description: 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.
Homepage: http://www.qbflib.org/
Related Software: DepQBF; RAReQS; Bloqqer; QUBE; Quantor; sKizzo; Quaffle; MiniSat; QuBE++; CAQE; QESTO; PicoSAT; FaCT++; SMT-LIB; UnitWalk; Nenofex; sQueezeBF; HGen; HTab; CirQit2
Cited in: 17 Documents
all top 5

Cited by 35 Authors

3 Bacchus, Fahiem
3 Goultiaeva, Alexandra
3 Tacchella, Armando
2 Areces, Carlos
2 Narizzano, Massimo
2 Orbe, Ezequiel
2 Pulina, Luca
1 Bjørner, Nikolaj S.
1 Bubeck, Uwe
1 Calimeri, Francesco
1 de Moura, Leonardo
1 Gebser, Martin
1 Giunchiglia, Enrico
1 Hsu, Tzu-Chien
1 Iverson, Vicki
1 Janota, Mikoláš
1 Jiang, Jie-Hong Roland
1 Kleine Büning, Hans
1 Kröning, Daniel
1 Kugler, Hillel
1 Le Berre, Daniel
1 Lonsing, Florian
1 Maratea, Marco
1 Marques-Silva, João P.
1 Peitl, Tomáš
1 Rabe, Markus N.
1 Ricca, Francesco
1 Seidl, Martina
1 Seshia, Sanjit Arunkumar
1 Simon, Laurent S. R.
1 Slivovsky, Friedrich
1 Strichman, Ofer
1 Szeider, Stefan
1 Tu, Kuan-Hua
1 Van Gelder, Allen

Cited in 5 Serials

2 Artificial Intelligence
1 Theoretical Computer Science
1 Constraints
1 Journal of Satisfiability, Boolean Modeling and Computation
1 Texts in Theoretical Computer Science. An EATCS Series

Cited in 3 Fields

17 Computer science (68-XX)
3 Mathematical logic and foundations (03-XX)
2 Information and communication theory, circuits (94-XX)

Citations by Year