de Colnet et al. "Compilation and Fast Model Counting Beyond CNF." International Joint Conference on Artificial Intelligence, 2024.
Markdown
[de Colnet et al. "Compilation and Fast Model Counting Beyond CNF." International Joint Conference on Artificial Intelligence, 2024.](https://mlanthology.org/ijcai/2024/decolnet2024ijcai-compilation/)
BibTeX
@inproceedings{decolnet2024ijcai-compilation,
title = {{Compilation and Fast Model Counting Beyond CNF}},
author = {de Colnet, Alexis and Szeider, Stefan and Zhang, Tianwei},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2024},
pages = {3315-3323},
url = {https://mlanthology.org/ijcai/2024/decolnet2024ijcai-compilation/}
}