Ting-Hao Lin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2007–2011
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | DAC | Using SAT-based Craig interpolation to enlarge clock gating functions. | Ting-Hao Lin, Chung-Yang (Ric) Huang |
| 2009 | ASPDAC | SAT-controlled redundancy addition and removal: a novel circuit restructuring technique. | Chi-An Wu, Ting-Hao Lin, Shao-Lun Huang, Chung-Yang Huang |
| 2007 | DATE | QuteSAT: a robust circuit-based SAT solver for complex circuit structure. | Chi-An Wu, Ting-Hao Lin, Chih-Chun Lee, Chung-Yang Huang |