Backdoors into Heterogeneous Classes of SAT and CSP | Read Paper on Bytez