Tradeoffs in the Complexity of Backdoor Detection. - Dilkina, Bistra; Gomes, Carla P.; Sabharwal, Ashish (2007)