@techreport{GaspersSzeider11b,
 author = {Serge Gaspers and Stefan Szeider},
 institution = {Arxiv.org},
 month = {10},
 number = {1110.6387},
 title = {Backdoors to Satisfaction},
 year = {2011}
}