On Finding Short Resolution Refutations and Small Unsatisfiable Subsets

Abstract

Full Citation:

Michael R. Fellows, Stefan Szeider, Graham Wrightson. On Finding Short Resolution Refutations and Small Unsatisfiable Subsets. Theoretical Computer Science, volume 351, number 3, pages 351-359, 2006.

Stefan Szeider

Head of Research Unit

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