On Finding Short Resolution Refutations and Small Unsatisfiable Subsets

Michael R. Fellows, Stefan Szeider, Graham Wrightson
January 2006
PDF Cite
Type
Journal Article
Stefan Szeider
Stefan Szeider
Head of Research Unit

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