Michael R. Fellows, Stefan Szeider, Graham Wrightson. On Finding Short Resolution Refutations and Small Unsatisfiable Subsets. In Rodney G. Downey, Michael R. Fellows, Frank K. H. A. Dehne, editors, Parameterized and Exact Computation, First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004, Proceedings. Volume 3162 of Lecture Notes in Computer Science, pages 223-234, Springer, 2004. [doi]
Abstract is missing.