@article{PaulusmaSzeider19,
 author = {Dani\"el~Paulusma and Stefan Szeider},
 doi = {10.1016/j.ipl.2018.11.005},
 journal = {Information Processing Letters},
 pages = {34--36},
 pdf = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-18-008.pdf},
 title = {On the Parameterized Complexity of (k,s)-{SAT}},
 volume = {143},
 year = {2019}
}