Abstract Branching for Quantified Formulas

AAAI 2006 pp. 16-21

/aaai/2006/benedetti2006aaai-abstract/

Cite

Text

Benedetti. "Abstract Branching for Quantified Formulas." AAAI Conference on Artificial Intelligence, 2006.

Markdown

[Benedetti. "Abstract Branching for Quantified Formulas." AAAI Conference on Artificial Intelligence, 2006.](https://mlanthology.org/aaai/2006/benedetti2006aaai-abstract/)

BibTeX

@inproceedings{benedetti2006aaai-abstract,
  title     = {{Abstract Branching for Quantified Formulas}},
  author    = {Benedetti, Marco},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2006},
  pages     = {16-21},
  url       = {https://mlanthology.org/aaai/2006/benedetti2006aaai-abstract/}
}