@inproceedings{GaspersSzeider12,
 author = {Serge Gaspers and Stefan Szeider},
 booktitle = {The Multivariate Algorithmic Revolution and Beyond -
Essays Dedicated to Michael R. Fellows on the
Occasion of His 60th Birthday},
 doi = {10.1007/978-3-642-30891-8_15},
 editor = {Hans L. Bodlaender and Rod Downey and Fedor V. Fomin
and D{\'a}niel Marx},
 pages = {287-317},
 publisher = {Springer Verlag},
 series = {Lecture Notes in Computer Science},
 title = {Backdoors to Satisfaction},
 volume = {7370},
 year = {2012}
}