Finding the Hardest Formulas for Resolution

Abstract

Full Citation:

Tomáš Peitl, Stefan Szeider. Finding the Hardest Formulas for Resolution. Journal of Artificial Intelligence Research, volume 72, pages 69–97, 2021. (Note: Conference Award Track, best paper CP 2020)

Tomas Peitl

Tomáš Peitl is a Project Assistant at the Algorithms and Complexity Group.

Stefan Szeider

Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.