@incollection{Szeider08d,
 author = {Stefan Szeider},
 booktitle = {Encyclopedia of Algorithms},
 editor = {Ming-Yang Kao},
 publisher = {Springer Verlag},
 title = {Parameterized {SAT}},
 year = {2008}
}