On the Use of Partially Ordered Decision Graphs in Knowledge Compilation and Quantified Boolean Formulae

Cite

Text

Fargier and Marquis. "On the Use of Partially Ordered Decision Graphs in Knowledge Compilation and Quantified Boolean Formulae." AAAI Conference on Artificial Intelligence, 2006.

Markdown

[Fargier and Marquis. "On the Use of Partially Ordered Decision Graphs in Knowledge Compilation and Quantified Boolean Formulae." AAAI Conference on Artificial Intelligence, 2006.](https://mlanthology.org/aaai/2006/fargier2006aaai-use/)

BibTeX

@inproceedings{fargier2006aaai-use,
  title     = {{On the Use of Partially Ordered Decision Graphs in Knowledge Compilation and Quantified Boolean Formulae}},
  author    = {Fargier, Hélène and Marquis, Pierre},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2006},
  pages     = {42-47},
  url       = {https://mlanthology.org/aaai/2006/fargier2006aaai-use/}
}