A branching heuristic for SAT solvers based on complete implication graphs | Publicación