The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for Connect9 family
Download (2370 Kb)
Submitter:
Gent
Suite:
Gent-Rowley
Domain:
Planning
Description:
Number of instances:
3
Results:
2004 - Track 1
Instances:
cf_9_9x9_d_
cf_9_9x9_r_
cf_9_9x9_w_
Contact
|
Organization
|
Links
|
Citing QBFLIB