Min Ding

According to our database, Min Ding authored at least 2 papers in 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Integrating advanced reasoning into a SAT solver.

Min Ding, Pushan Tang, Dian Zhou

Sci. China Ser. F Inf. Sci., 2005

Sequential equivalence checking using cuts.

Wei Huang, Pushan Tang, Min Ding

Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005