Guarantees and Limits of Preprocessing in Constraint Satisfaction and Reasoning

Open in new window