An efficient circuit-based SAT solver and its application in logic equivalence checking. - Kunmei Hu; Zhufei Chu (Microelectron. J., 2023)