Hardness of Parameterized Resolution

Olaf Beyersdorff, Nicola Galesi, Massimo Lauria. Hardness of Parameterized Resolution. In Benjamin Rossman, Thomas Schwentick, Denis Thérien, Heribert Vollmer, editors, Circuits, Logic, and Games, 07.02. - 12.02.2010. Volume 10061 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010. [doi]

Abstract

Abstract is missing.