Daniël~Paulusma

Recent Publications

On the Parameterized Complexity of (k,s)-SAT
Daniël~Paulusma, Stefan Szeider
Information Processing Letters, volume 143, pages 34–36, 2019.
bib DOI
On the Parameterized Complexity of (k,s)-SAT
Daniël~Paulusma, Stefan Szeider
2018, Technical report AC-TR-18-008, Algorithms and Complexity Group, TU Wien.
PDF bib