| |
| 2007 | ||
|---|---|---|
| 2 | EE | Chi-An Wu, Ting-Hao Lin, Chih-Chun Lee, Chung-Yang Huang: QuteSAT: a robust circuit-based SAT solver for complex circuit structure. DATE 2007: 1313-1318 |
| 1 | EE | Chih-Chun Lee, Jie-Hong Roland Jiang, Chung-Yang Huang, Alan Mishchenko: Scalable exploration of functional dependency by interpolation and incremental SAT solving. ICCAD 2007: 227-233 |
| 1 | Chung-Yang Huang | [1] [2] |
| 2 | Jie-Hong Roland Jiang | [1] |
| 3 | Ting-Hao Lin | [2] |
| 4 | Alan Mishchenko | [1] |
| 5 | Chi-An Wu | [2] |