Decision levels are stable: towards better SAT heuristics | Publicación