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
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) |