View More Publications

SAT Solvers for Investigation of Architectures for Cognitive Information Processing

Richard Lethin, James Ezick, Sam Luckenbill, Donald Nguyen, Peter Szilagyi, John Starks
Publication Source: The High Performance Embedded Computing Workshop (HPEC), Lexington, MA, USA, September, 2006

Sponsored by DARPA in the ACIP Program, this presentation covers demand for cognitive processing, historical architectures for AI / cognitive processing, SAT solvers as a cognitive application, application specific hardware, parallelizing SAT, current performance, and architectural implications.