The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Suite Kullmann-Shukla
Download(0 Kb)
Submitter:
Ankit Shukla
Description:
Number of families:
1
Families:
(D)-QBF_Autarkies (
50
)
Results:
2020 - Track 4
Contact
|
Organization
|
Links
|
Citing QBFLIB