On the Parameterized Complexity of (k,s)-SAT (bibtex)
by ,
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,
  year 	       = {2019},
  volume       = {143},
  pages =     {34--36},
  pdf    = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-18-008.pdf},
}
Powered by bibtexbrowser