Kunmei Hu

According to our database, Kunmei Hu authored at least 1 paper in 2023.

Collaborative distances:

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

2023

An efficient circuit-based SAT solver and its application in logic equivalence checking.

Kunmei Hu, Zhufei Chu

Microelectron. J., December, 2023