| |
| 2008 | ||
|---|---|---|
| 2 | EE | Yinlei Yu, Cameron Brien, Sharad Malik: Exploiting Circuit Reconvergence through Static Learning in CNF SAT Solvers. VLSI Design 2008: 461-468 |
| 2006 | ||
| 1 | EE | Cameron Brien, Sharad Malik: Understanding the Dynamic Behavior of Modern DPLL SAT Solvers through Visual Analysis. FMCAD 2006: 49-50 |
| 1 | Sharad Malik | [1] [2] |
| 2 | Yinlei Yu | [2] |