ML Anthology

Solving QBF by Combining Conjunctive and Disjunctive Normal Forms

Lintao Zhang
AAAI 2006 pp. 143-150
/aaai/2006/zhang2006aaai-solving/
PDF AAAI Semantic Scholar

Cite

Text

Zhang. "Solving QBF by Combining Conjunctive and Disjunctive Normal Forms." AAAI Conference on Artificial Intelligence, 2006.

Markdown

[Zhang. "Solving QBF by Combining Conjunctive and Disjunctive Normal Forms." AAAI Conference on Artificial Intelligence, 2006.](https://mlanthology.org/aaai/2006/zhang2006aaai-solving/)

BibTeX

@inproceedings{zhang2006aaai-solving,
  title     = {{Solving QBF by Combining Conjunctive and Disjunctive Normal Forms}},
  author    = {Zhang, Lintao},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2006},
  pages     = {143-150},
  url       = {https://mlanthology.org/aaai/2006/zhang2006aaai-solving/}
}