Backdoors into Heterogeneous Classes of SAT and CSP

Serge Gaspers, Neeldhara Misra, Sebastian Ordyniak +2

In this paper we extend the classical notion of strong and weak backdoor sets for SAT and CSP by allowing that different instantiations of the backdoor variables result in instance…