Guarantees and Limits of Preprocessing in Constraint Satisfaction and Reasoning | Read Paper on Bytez