Backdoors into Heterogeneous Classes of SAT and CSP

Open in new window