On fixed-parameter tractable parameterizations of SAT

Szeider, Stefan

by Stefan Szeider

Reference:

On fixed-parameter tractable parameterizations of SATStefan SzeiderTheory and Applications of Satisfiability, 6th International Conference, SAT 2003, Selected and Revised Papers (Enrico Giunchiglia, Armando Tacchella, eds.), volume 2919 of Lecture Notes in Computer Science, pages 188-202, 2004, Springer Verlag.

Bibtex Entry:

@string{lncs="Lecture Notes in Computer Science"}
@string{springer="Springer Verlag"}
@InProceedings{Szeider04b,
  author = 	 {Stefan Szeider},
  title = 	 {On fixed-parameter tractable parameterizations 
                 of {S}{A}{T}},
  booktitle = 	 {Theory and Applications of Satisfiability,
                  6th International Conference, SAT 2003,
                  Selected and Revised Papers},
  year = 	 2004,
   series = 	 LNCS,
  volume =        2919,
  editor =        {Enrico Giunchiglia and Armando Tacchella},
  publisher =     Springer,
  pages  = 	  {188-202},
  url   = {https://www.ac.tuwien.ac.at/files/pub/szeider-SAT-2003.pdf},
  gsid =  {https://scholar.google.com/scholar?oi=bibs&hl=en&cites=3842147886017006949&as_sdt=5},
}