Cheng-Shen Han

According to our database, Cheng-Shen Han authored at least 2 papers between 2011 and 2012.

Collaborative distances:

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

2012

When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way.

Cheng-Shen Han, Jie-Hong Roland Jiang

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

An Effective and Efficient Framework for Clock Latency Range Aware Clock Network Synthesis.

Sheng Chou, Cheng-Shen Han, Po-Kai Huang, Ko-Fan Tien, Tsung-Yi Ho

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2011