People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
Daniël~Paulusma
Recent Publications
On the Parameterized Complexity of (k,s)-SAT
2019
Cite
×