Exploiting multivalued knowledge in variable selection heuristics for SAT solvers | Publicación