"Exploiting Structure in Backtracking Algorithms for Propositional and ..."

Wei Li (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics