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