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/}
}