Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification, and Preprocessing Bistra Dilkina, Carla Gomes, Ashish Sabharwal Cornell University.
Constraint Satisfaction Problem: Used to model constrained combinatorial problems Important real-world applications: hardware & software verification,
Configuring Random CSP Generators to Favor a Particular Consistency Algorithm
Tradeoffs in Backdoors : Inconsistency Detection, Dynamic Simplification, and Preprocessing
Hidden Structure in Constraint Reasoning Problems
Selecting the Appropriate Consistency Algorithm for CSPs Using Machine Learning Classifiers