The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Application domain NestedCounterFactual
Description:
Number of families:
3
Families:
CounterFactual (
1080
)
NCFS (
150
)
NCFS_bin (
150
)
Results:
Contact
|
Organization
|
Links
|
Citing QBFLIB