James R. Ezick, Samuel B. Luckenbill, Donald Nguyen, Peter Szilagyi, John Starks, Richard A. Lethin. Poster reception - Alef parallel SAT solver for HPC hardware. In Proceedings of the ACM/IEEE SC2006 Conference on High Performance Networking and Computing, November 11-17, 2006, Tampa, FL, USA. pages 179, ACM Press, 2006. [doi]
Abstract is missing.