Backdoors into Heterogeneous Classes of SAT and CSP

Re-assign community