| |
| 2006 | ||
|---|---|---|
| 1 | EE | James R. Ezick, Samuel B. Luckenbill, Donald Nguyen, Peter Szilagyi, John Starks, Richard A. Lethin: Poster reception - Alef parallel SAT solver for HPC hardware. SC 2006: 179 |
| 1 | James R. Ezick | [1] |
| 2 | Richard A. Lethin | [1] |
| 3 | Samuel B. Luckenbill | [1] |
| 4 | Donald Nguyen | [1] |
| 5 | Peter Szilagyi | [1] |