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