ML Anthology

A Model for Generating Random Quantified Boolean Formulas

Hubie Chen, Yannet Interian
IJCAI 2005 pp. 66-71
/ijcai/2005/chen2005ijcai-model/
PDF IJCAI Semantic Scholar

Cite

Text

Chen and Interian. "A Model for Generating Random Quantified Boolean Formulas." International Joint Conference on Artificial Intelligence, 2005.

Markdown

[Chen and Interian. "A Model for Generating Random Quantified Boolean Formulas." International Joint Conference on Artificial Intelligence, 2005.](https://mlanthology.org/ijcai/2005/chen2005ijcai-model/)

BibTeX

@inproceedings{chen2005ijcai-model,
  title     = {{A Model for Generating Random Quantified Boolean Formulas}},
  author    = {Chen, Hubie and Interian, Yannet},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2005},
  pages     = {66-71},
  url       = {https://mlanthology.org/ijcai/2005/chen2005ijcai-model/}
}