"Heuristics for dynamically adapting propagation in constraint satisfaction ..."

Kostas Stergiou (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics