Yang and Meel. "Engineering an Exact Pseudo-Boolean Model Counter." AAAI Conference on Artificial Intelligence, 2024. doi:10.1609/AAAI.V38I8.28660
Markdown
[Yang and Meel. "Engineering an Exact Pseudo-Boolean Model Counter." AAAI Conference on Artificial Intelligence, 2024.](https://mlanthology.org/aaai/2024/yang2024aaai-engineering/) doi:10.1609/AAAI.V38I8.28660
BibTeX
@inproceedings{yang2024aaai-engineering,
title = {{Engineering an Exact Pseudo-Boolean Model Counter}},
author = {Yang, Suwei and Meel, Kuldeep S.},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2024},
pages = {8200-8208},
doi = {10.1609/AAAI.V38I8.28660},
url = {https://mlanthology.org/aaai/2024/yang2024aaai-engineering/}
}