TY - RPRT TI - Guarantees and Limits of Preprocessing in Constraint Satisfaction and Reasoning AU - Serge Gaspers AU - Stefan Szeider PY - 2014 UR - https://arxiv.org/abs/1406.3124 ID - 1406.3124 ER -