Min Ding

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Wei Huang, Pushan Tang, Min Ding
Sequential equivalence checking using cuts. ASP-DAC (2005)
Min Ding, Pushan Tang, Dian Zhou
Integrating advanced reasoning into a SAT solver. Sci. China Ser. F Inf. Sci. 48 (3) (2005)