ML Anthology

Extracting Certificates from Quantified Boolean Formulas

Marco Benedetti
IJCAI 2005 pp. 47-53
/ijcai/2005/benedetti2005ijcai-extracting/
PDF IJCAI Semantic Scholar

Cite

Text

Benedetti. "Extracting Certificates from Quantified Boolean Formulas." International Joint Conference on Artificial Intelligence, 2005.

Markdown

[Benedetti. "Extracting Certificates from Quantified Boolean Formulas." International Joint Conference on Artificial Intelligence, 2005.](https://mlanthology.org/ijcai/2005/benedetti2005ijcai-extracting/)

BibTeX

@inproceedings{benedetti2005ijcai-extracting,
  title     = {{Extracting Certificates from Quantified Boolean Formulas}},
  author    = {Benedetti, Marco},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2005},
  pages     = {47-53},
  url       = {https://mlanthology.org/ijcai/2005/benedetti2005ijcai-extracting/}
}