@inproceedings{ijcai2021p657, title = {Finding the Hardest Formulas for Resolution (Extended Abstract)}, author = {Peitl, Tomáš and Szeider, Stefan}, booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, {IJCAI-21}}, publisher = {International Joint Conferences on Artificial Intelligence Organization}, editor = {Zhi-Hua Zhou}, pages = {4814--4818}, year = {2021}, month = {8}, note = {Sister Conferences Best Papers}, doi = {10.24963/ijcai.2021/657}, url = {https://doi.org/10.24963/ijcai.2021/657}, }