@article{PeitlSzeider21b,
 author = {Tom{\'{a}}{\v{s}} Peitl and Stefan Szeider},
 doi = {10.1613/jair.1.12589},
 journal = {Journal of Artificial Intelligence Research},
 keywords = {reveal, slim},
 note = {Conference Award Track, best paper CP 2020},
 pages = {69--97},
 title = {Finding the Hardest Formulas for Resolution},
 volume = {72},
 year = {2021}
}