Sequential equivalence checking using cuts. - Wei Huang; Pushan Tang; Min Ding 004 (ASP-DAC, 2005)

Integrating advanced reasoning into a SAT solver. - Min Ding 004; Pushan Tang; Dian Zhou (Sci. China Ser. F Inf. Sci., 2005)