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.
Cite 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 Cite