Abstract
Gaspers, Serge, Szeider, Stefan. 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.