Capelli et al. "A Top-Down Tree Model Counter for Quantified Boolean Formulas." International Joint Conference on Artificial Intelligence, 2024.
Markdown
[Capelli et al. "A Top-Down Tree Model Counter for Quantified Boolean Formulas." International Joint Conference on Artificial Intelligence, 2024.](https://mlanthology.org/ijcai/2024/capelli2024ijcai-top/)
BibTeX
@inproceedings{capelli2024ijcai-top,
title = {{A Top-Down Tree Model Counter for Quantified Boolean Formulas}},
author = {Capelli, Florent and Lagniez, Jean-Marie and Plank, Andreas and Seidl, Martina},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2024},
pages = {1853-1861},
url = {https://mlanthology.org/ijcai/2024/capelli2024ijcai-top/}
}