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