Poster reception - Alef parallel SAT solver for HPC hardware. - James R. Ezick; Samuel B. Luckenbill; Donald Nguyen; Péter Szilágyi; John Starks; Richard A. Lethin (SC, 2006)

RALF: Reliability Analysis for Logic Faults - An exact algorithm and its applications. - Samuel B. Luckenbill; Ju-Yueh Lee; Yu Hu 002; Rupak Majumdar; Lei He 001 (DATE, 2010)