Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal. Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search. Annals of Mathematics and Artificial Intelligence, 70(4):399-431, 2014. [doi]
Abstract is missing.