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