![]() | ![]() |
| 2010 | ||
|---|---|---|
| 2 | Samuel B. Luckenbill, Ju-Yueh Lee, Yu Hu, Rupak Majumdar, Lei He: RALF: Reliability Analysis for Logic Faults - An exact algorithm and its applications. DATE 2010: 783-788 | |
| 2006 | ||
| 1 | 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 | Lei He | [2] |
| 3 | Yu Hu | [2] |
| 4 | Ju-Yueh Lee | [2] |
| 5 | Richard A. Lethin | [1] |
| 6 | Rupak Majumdar | [2] |
| 7 | Donald Nguyen | [1] |
| 8 | John Starks | [1] |
| 9 | Peter Szilagyi | [1] |
Colors in the list of coauthors
Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page