"Exploiting multivalued knowledge in variable selection heuristics for SAT ..."

Carlos Ansótegui et al. (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics