Coste-Marquis et al. "Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae." AAAI Conference on Artificial Intelligence, 2005.
Markdown
[Coste-Marquis et al. "Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae." AAAI Conference on Artificial Intelligence, 2005.](https://mlanthology.org/aaai/2005/costemarquis2005aaai-propositional/)
BibTeX
@inproceedings{costemarquis2005aaai-propositional,
title = {{Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae}},
author = {Coste-Marquis, Sylvie and Le Berre, Daniel and Letombe, Florian and Marquis, Pierre},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2005},
pages = {288-293},
url = {https://mlanthology.org/aaai/2005/costemarquis2005aaai-propositional/}
}