Peitl and Szeider. "Finding the Hardest Formulas for Resolution." Journal of Artificial Intelligence Research, 2021. doi:10.1613/JAIR.1.12589
Markdown
[Peitl and Szeider. "Finding the Hardest Formulas for Resolution." Journal of Artificial Intelligence Research, 2021.](https://mlanthology.org/jair/2021/peitl2021jair-finding/) doi:10.1613/JAIR.1.12589
BibTeX
@article{peitl2021jair-finding,
title = {{Finding the Hardest Formulas for Resolution}},
author = {Peitl, Tomás and Szeider, Stefan},
journal = {Journal of Artificial Intelligence Research},
year = {2021},
pages = {69-97},
doi = {10.1613/JAIR.1.12589},
volume = {72},
url = {https://mlanthology.org/jair/2021/peitl2021jair-finding/}
}