Marko Samer Stefan Szeider Backdoor Sets of Quantified Boolean Formulas. 77-97 2009 42 J. Autom. Reasoning 1 http://dx.doi.org/10.1007/s10817-008-9114-5 db/journals/jar/jar42.html#SamerS09