On the Parameterized Complexity of (k,s)-SAT

Abstract

Full Citation:

Dani"el~Paulusma, Stefan Szeider. On the Parameterized Complexity of (k,s)-SAT. 2018, Technical report AC-TR-18-008, Algorithms and Complexity Group, TU Wien.

Stefan Szeider

Head of Research Unit

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