Tradeoffs in Backdoors : Inconsistency Detection, Dynamic Simplification, and Preprocessing
Hidden Structure in Constraint Reasoning Problems