ML Anthology

Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas

Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran
AAAI 2000 pp. 417-422
/aaai/2000/egly2000aaai-solving/
PDF AAAI Semantic Scholar

Cite

Text

Egly et al. "Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas." AAAI Conference on Artificial Intelligence, 2000.

Markdown

[Egly et al. "Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas." AAAI Conference on Artificial Intelligence, 2000.](https://mlanthology.org/aaai/2000/egly2000aaai-solving/)

BibTeX

@inproceedings{egly2000aaai-solving,
  title     = {{Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas}},
  author    = {Egly, Uwe and Eiter, Thomas and Tompits, Hans and Woltran, Stefan},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2000},
  pages     = {417-422},
  url       = {https://mlanthology.org/aaai/2000/egly2000aaai-solving/}
}