SAT Solvers for Investigation of Architectures for Cognitive Information Processing

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.

Publications

For more information about Reservoir products or to purchase, please