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