Moon, S.; Inaba, M. Boost SAT Solver With Hybrid Branching Heuristic. SOCS 2021, 8, 56-63.