"Search by constraint propagation."

Thierry Martinez, François Fages, Sylvain Soliman (2015)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics