Quantified boolean satisfiability and PSPACE-complete problems
Entry 1
Entry Name:
QBFLIB - The Quantified Boolean Formulas satisfiability LIBrary
Groups/PIs:
M. Narizzano
Status:
available
Entry 2
Entry Name:
QBF Benchmarks: Sequence depth computation
Groups/PIs:
Maher Mneimneh
Status:
available