@inproceedings{GaspersSzeider13,
 author = {Serge Gaspers and
Stefan Szeider},
 booktitle = {54th Annual IEEE Symposium on Foundations of
Computer Science, FOCS 2013, 26-29 October, 2013,
Berkeley, CA, USA},
 doi = {10.1109/FOCS.2013.59},
 pages = {489-498},
 publisher = {IEEE Computer Society},
 title = {Strong Backdoors to Bounded Treewidth {SAT}},
 year = {2013}
}