| |
| 2008 | ||
|---|---|---|
| 2 | EE | Ruei-Rung Lee, Jie-Hong Roland Jiang, Wei-Lun Hung: Bi-decomposing large Boolean functions via interpolation and satisfiability solving. DAC 2008: 636-641 |
| 1 | EE | Hsuan-Po Lin, Jie-Hong Roland Jiang, Ruei-Rung Lee: To SAT or not to SAT: Ashenhurst decomposition in a large scale. ICCAD 2008: 32-37 |
| 1 | Wei-Lun Hung | [2] |
| 2 | Jie-Hong Roland Jiang | [1] [2] |
| 3 | Hsuan-Po Lin | [1] |