Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification, and Preprocessing Bistra Dilkina, Carla Gomes, Ashish Sabharwal Cornell University.
Tradeoffs in Backdoors : Inconsistency Detection, Dynamic Simplification, and Preprocessing
Hidden Structure in Constraint Reasoning Problems