Bryant et al. "Certified Knowledge Compilation with Application to Formally Verified Model Counting." Journal of Artificial Intelligence Research, 2025. doi:10.1613/JAIR.1.15958
Markdown
[Bryant et al. "Certified Knowledge Compilation with Application to Formally Verified Model Counting." Journal of Artificial Intelligence Research, 2025.](https://mlanthology.org/jair/2025/bryant2025jair-certified/) doi:10.1613/JAIR.1.15958
BibTeX
@article{bryant2025jair-certified,
title = {{Certified Knowledge Compilation with Application to Formally Verified Model Counting}},
author = {Bryant, Randal E. and Nawrocki, Wojciech and Avigad, Jeremy and Heule, Marijn J. H.},
journal = {Journal of Artificial Intelligence Research},
year = {2025},
doi = {10.1613/JAIR.1.15958},
volume = {82},
url = {https://mlanthology.org/jair/2025/bryant2025jair-certified/}
}