@inproceedings{PeitlSzeider21,
 author = {Tom{\'{a}}\v{s} Peitl and
Stefan Szeider},
 booktitle = {Proceeding of IJCAI-21, the 30th International Joint Conference on Artificial Intelligence},
 doi = {10.24963/ijcai.2021/657},
 editor = {Zhi{-}Hua Zhou},
 keywords = {reveal, slim},
 note = {Sister Conferences Best Papers},
 pages = {4814--4818},
 title = {Finding the Hardest Formulas for Resolution (Extended Abstract)},
 year = {2021}
}