S. Moon and M. Inaba, “Boost SAT Solver with Hybrid Branching Heuristic”, SOCS, vol. 8, no. 1, pp. 56–63, Sep. 2021.