The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Application domain qHorn
Description:
Number of families:
2
Families:
horn (
342
)
renHorn (
165
)
Results:
Contact
|
Organization
|
Links
|
Citing QBFLIB