Backdoors to SatisfactionSerge Gaspers, Stefan Szeider10 2011, Technical report 1110.6387, Arxiv.org.
Bibtex Entry:
@TechReport{GaspersSzeider11b,
author = {Serge Gaspers and Stefan Szeider},
title = {Backdoors to Satisfaction},
year = {2011},
institution = {Arxiv.org},
number = {1110.6387},
month = {10},
}