Suite Chen-Interian
| Download(0 Kb) | |||
| Submitter: | Hubie Chen | ||
| Description: | Instances based on the model described in Chen, H., Interian, Y.: A Model for Generating Random Quantified Boolean Formulas. In: Proceedings of 19th International Joint Conference on Artificial Intelligence (IJCAI’05). (2005) 66–71 Instances generated by the tool BlocksQBF (developed by F. Lonsing). | ||
| Number of families: | 4 | ||
| Families: | |||
| Results: | |||