Pulina and Tacchella. "A Structural Approach to Reasoning with Quantified Boolean Formulas." International Joint Conference on Artificial Intelligence, 2009.
Markdown
[Pulina and Tacchella. "A Structural Approach to Reasoning with Quantified Boolean Formulas." International Joint Conference on Artificial Intelligence, 2009.](https://mlanthology.org/ijcai/2009/pulina2009ijcai-structural/)
BibTeX
@inproceedings{pulina2009ijcai-structural,
title = {{A Structural Approach to Reasoning with Quantified Boolean Formulas}},
author = {Pulina, Luca and Tacchella, Armando},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2009},
pages = {596-602},
url = {https://mlanthology.org/ijcai/2009/pulina2009ijcai-structural/}
}