Sebastian Ordyniak

A more general approach for Backdoor Sets into SAT and CSP