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

Daniël Paulusma; Szeider, Stefan

doi:10.1016/j.ipl.2018.11.005

by Daniël Paulusma, Stefan Szeider

Reference:

On the Parameterized Complexity of (k,s)-SATDaniël Paulusma, Stefan SzeiderInformation Processing Letters, volume 143, pages 34–36, 2019.

Bibtex Entry:

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