Reviews: Learning Local Search Heuristics for Boolean Satisfiability