| |
| 2006 | ||
|---|---|---|
| 2 | EE | Mandar Waghmode, Zhuo Li, Weiping Shi: Buffer insertion in large circuits with constructive solution search techniques. DAC 2006: 296-301 |
| 1 | EE | Mandar Waghmode, Kanupriya Gulati, Sunil P. Khatri, Weiping Shi: An Efficient, Scalable Hardware Engine for Boolean SATisfiability. ICCD 2006 |
| 1 | Kanupriya Gulati | [1] |
| 2 | Sunil P. Khatri | [1] |
| 3 | Zhuo Li | [2] |
| 4 | Weiping Shi | [1] [2] |