Finding the Hardest Formulas for Resolution (Extended Abstract)

Abstract

Full Citation:

Tom'a\vs Peitl, Stefan Szeider. Finding the Hardest Formulas for Resolution (Extended Abstract). Proceeding of IJCAI-21, the 30th International Joint Conference on Artificial Intelligence (Zhi-Hua Zhou), pages 4814-4818, 2021. (Note: Sister Conferences Best Papers)

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.