Guarantees and limits of preprocessing in constraint satisfaction and reasoning

Serge Gaspers, Stefan Szeider. Guarantees and limits of preprocessing in constraint satisfaction and reasoning. Artificial Intelligence, 216:1-19, 2014. [doi]

Abstract

Abstract is missing.