Instance Class RandomQuantifiedBooleanFormulas

Class Tree
Description These benchmarks are translation of randomly generated 2-QBF instances using Chen-Interian method presented at IJCAI 2005. (for reference, Hubie Chen and Yannet Interian. A Model for Generating Random Quantified Boolean Formulas. Nineteenth International Joint Conference on Artificial Intelligence (IJCAI), 2005). Instances are generated using some of the settings in the original paper. The generator is available at the QBFLIB web portal (http://www.qbflib.org).
Submitter Martin Gebser
Compatible Encodings
    Output Predicates
      Instances
      1 - 20 of 40