---
title: "A Model for Generating Random Quantified Boolean Formulas"
authors:
  - "Hubie Chen"
  - "Yannet Interian"
doi: ""
url: "https://ijcai.org/proceedings/2005/57"
pdf: "https://ijcai.org/proceedings/2005/0057.pdf"
venue: "Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence"
year: 2005
pages: "66-70"
track: ""
keywords:
---

# A Model for Generating Random Quantified Boolean Formulas

Hubie Chen, Yannet Interian

*Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence*, pages 66-70.

## Abstract

The quantified boolean formula (QBF) problem is a powerful generalization of the boolean satisfiability (SAT) problem where variables can be both universally and existentially quantified. Inspired by the fruitfulness of the established model for generating random SAT instances, we define and study a general model for generating random QBF instances. We exhibit experimental results showing that our model bears certain desirable similarities to the random SAT model, as well as a number of theoretical results concerning our model.