Samuel B. Luckenbill

According to our database, Samuel B. Luckenbill authored at least 2 papers between 2006 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

RALF: Reliability Analysis for Logic Faults - An exact algorithm and its applications.

Samuel B. Luckenbill, Ju-Yueh Lee, Yu Hu, Rupak Majumdar, Lei He

Proceedings of the Design, Automation and Test in Europe, 2010

2006

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

Proceedings of the ACM/IEEE SC2006 Conference on High Performance Networking and Computing, 2006