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. 1st International Workshop on Parameterized and Exact Computation (IWPEC 2004) (Rod Downey and Michael Fellows and Frank Dehne), volume 3162 of Lecture Notes in Computer Science, pages 223-234, 2004, Springer.

Stefan Szeider

Head of Research Unit

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