Abstract
Serge Gaspers, Stefan Szeider. Guarantees and limits of preprocessing in constraint satisfaction and reasoning. Artificial Intelligence, volume 216, pages 1-19, 2014.
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.