Peitl and Szeider. "Finding the Hardest Formulas for Resolution (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2021. doi:10.24963/IJCAI.2021/657
Markdown
[Peitl and Szeider. "Finding the Hardest Formulas for Resolution (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2021.](https://mlanthology.org/ijcai/2021/peitl2021ijcai-finding/) doi:10.24963/IJCAI.2021/657
BibTeX
@inproceedings{peitl2021ijcai-finding,
title = {{Finding the Hardest Formulas for Resolution (Extended Abstract)}},
author = {Peitl, Tomás and Szeider, Stefan},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2021},
pages = {4814-4818},
doi = {10.24963/IJCAI.2021/657},
url = {https://mlanthology.org/ijcai/2021/peitl2021ijcai-finding/}
}