@inproceedings{FominLMRamanujanS15,
 author = {Fedor V. Fomin and
Daniel Lokshtanov and
Neeldhara Misra and
M. S. Ramanujan and
Saket Saurabh},
 booktitle = {Proceedings of the Twenty-Sixth Annual {ACM-SIAM} Symposium on Discrete
Algorithms, {SODA} 2015, San Diego, CA, USA, January 4-6, 2015},
 doi = {10.1137/1.9781611973730.43},
 pages = {630–641},
 timestamp = {Wed, 28 Jan 2015 11:28:51 +0100},
 title = {Solving {d-}SAT via Backdoors to Small Treewidth},
 url = {http://dx.doi.org/10.1137/1.9781611973730.43},
 year = {2015}
}