Cheng-Shen Han

Publication Activity (10 Years)

Years Active: 2011-2012
Publications (10 Years): 0

Top Topics

Boolean Satisfiability

Combinatorial Problems

Integer Linear Programming

Top Venues

Publications

Cheng-Shen Han, Jie-Hong Roland Jiang
When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way. CAV (2012)
Sheng Chou, Cheng-Shen Han, Po-Kai Huang, Ko-Fan Tien, Tsung-Yi Ho
An Effective and Efficient Framework for Clock Latency Range Aware Clock Network Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 30 (7) (2011)