"Exploiting weak dependencies in tree-based search."

Alejandro Arbelaez, Youssef Hamadi (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics