An Algorithm to Evaluate Quantified Boolean Formulae

Marco Cadoli, Andrea Giovanardi, Marco Schaerf

AAAI 1998 pp. 262-267

/aaai/1998/cadoli1998aaai-algorithm/

Cite

Text

Cadoli et al. "An Algorithm to Evaluate Quantified Boolean Formulae." AAAI Conference on Artificial Intelligence, 1998.

Markdown

[Cadoli et al. "An Algorithm to Evaluate Quantified Boolean Formulae." AAAI Conference on Artificial Intelligence, 1998.](https://mlanthology.org/aaai/1998/cadoli1998aaai-algorithm/)

BibTeX

@inproceedings{cadoli1998aaai-algorithm,
  title     = {{An Algorithm to Evaluate Quantified Boolean Formulae}},
  author    = {Cadoli, Marco and Giovanardi, Andrea and Schaerf, Marco},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1998},
  pages     = {262-267},
  url       = {https://mlanthology.org/aaai/1998/cadoli1998aaai-algorithm/}
}