de Colnet and Mengel. "Characterizing Tseitin-Formulas with Short Regular Resolution Refutations." Journal of Artificial Intelligence Research, 2023. doi:10.1613/JAIR.1.13521
Markdown
[de Colnet and Mengel. "Characterizing Tseitin-Formulas with Short Regular Resolution Refutations." Journal of Artificial Intelligence Research, 2023.](https://mlanthology.org/jair/2023/decolnet2023jair-characterizing/) doi:10.1613/JAIR.1.13521
BibTeX
@article{decolnet2023jair-characterizing,
title = {{Characterizing Tseitin-Formulas with Short Regular Resolution Refutations}},
author = {de Colnet, Alexis and Mengel, Stefan},
journal = {Journal of Artificial Intelligence Research},
year = {2023},
pages = {265-286},
doi = {10.1613/JAIR.1.13521},
volume = {76},
url = {https://mlanthology.org/jair/2023/decolnet2023jair-characterizing/}
}