Serge Gaspers, Stefan Szeider. Backdoors to Satisfaction. In Hans L. Bodlaender, Rod Downey, Fedor V. Fomin, Dániel Marx, editors, The Multivariate Algorithmic Revolution and Beyond - Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday. Volume 7370 of Lecture Notes in Computer Science, pages 287-317, Springer, 2012. [doi]
@inproceedings{GaspersS12-2, title = {Backdoors to Satisfaction}, author = {Serge Gaspers and Stefan Szeider}, year = {2012}, doi = {10.1007/978-3-642-30891-8_15}, url = {http://dx.doi.org/10.1007/978-3-642-30891-8_15}, researchr = {https://researchr.org/publication/GaspersS12-2}, cites = {0}, citedby = {0}, pages = {287-317}, booktitle = {The Multivariate Algorithmic Revolution and Beyond - Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday}, editor = {Hans L. Bodlaender and Rod Downey and Fedor V. Fomin and Dániel Marx}, volume = {7370}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-30890-1}, }