Decision levels are stable: towards better SAT heuristics. - Robert Nieuwenhuis; Adrià Lozano; Albert Oliveras; Enric Rodríguez-Carbonell (LPAR, 2020)