Poster reception - Alef parallel SAT solver for HPC hardware.

James R. Ezick, Samuel B. Luckenbill, Donald Nguyen, Pter Szilgyi, John Starks, Richard A. Lethin

Browse the full SC paper archive.