Documents 1 2006 High Performance Embedded Computing Workshop SAT Solvers for Investigation of Architectures.....

SAT Solvers for Investigation of Architectures for Cognitive Information Processing Richard A. Lethin, James R. Ezick, Samuel B. Luckenbill, Donald D. Nguyen, John A. Starks,…