Moon, S. and Inaba, M. 2021. Boost SAT Solver with Hybrid Branching Heuristic. Proceedings of the International Symposium on Combinatorial Search. 8, 1 (Sep. 2021), 56–63. DOI:https://doi.org/10.1609/socs.v8i1.18422.