Matched Formulas and Backdoor Sets

Stefan Szeider. Matched Formulas and Backdoor Sets. JSAT, 6(1-3):1-12, 2009. [doi]

Abstract

Abstract is missing.