| |
| 2001 | ||
|---|---|---|
| 4 | EE | Jesse Whittemore, Joonyoung Kim, Karem A. Sakallah: SATIRE: A New Incremental Satisfiability Engine. DAC 2001: 542-545 |
| 2000 | ||
| 3 | EE | Joonyoung Kim, Jesse Whittemore, Karem A. Sakallah, João P. Marques Silva: On Applying Incremental Satisfiability to Delay Fault Testing. DATE 2000: 380-384 |
| 2 | EE | Joonyoung Kim, Jesse Whittemore, Karem A. Sakallah: On Solving Stack-Based Incremental Satisfiability Problems. ICCD 2000: 379-382 |
| 1999 | ||
| 1 | Joonyoung Kim, João P. Marques Silva, Karem A. Sakallah: Satisfiability-Based Functional Delay Fault Testing. VLSI 1999: 362-372 | |
| 1 | Karem A. Sakallah | [1] [2] [3] [4] |
| 2 | João P. Marques Silva (João Marques-Silva) | [1] [3] |
| 3 | Jesse Whittemore | [2] [3] [4] |