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, 2018.Note: In Press
Bibtex Entry:
@string{ipl="Information Processing Letters"}
@Article{PaulusmaSzeider18tr,
  author       = {Dani\"el~Paulusma and Stefan Szeider},
  title        = {On the Parameterized Complexity of (k,s)-{SAT}},
  journal      = IPL,
  year 	       = {2018},
  note      = {In Press},
  pdf    = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-18-008.pdf},
}
Powered by bibtexbrowser