Cognitive Processing Hardware/Software Elements

Award Information
Agency: Department of Defense
Branch: Defense Advanced Research Projects Agency
Contract: W91CRB11C0087
Agency Tracking Number: 04SB1-0604
Amount: $749,995.00
Phase: Phase II
Program: SBIR
Solicitation Topic Code: SB041-019
Solicitation Number: 2010.1
Solicitation Year: 2010
Award Year: 2011
Award Start Date (Proposal Award Date): 2011-04-05
Award End Date (Contract End Date): N/A
Small Business Information
632 Broadway, Suite 803, New York, NY, -
DUNS: 022423854
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Richard Lethin
 Directing Engineer
 (212) 780-0527
Business Contact
 Melanie Peters
Title: Business Manager
Phone: (212) 780-0527
Research Institution
Recently, solvers for the Satisfiability problem (SAT) have proved to be an enabling technology for diverse application areas including planning, cryptography, hardware verification, and software verification. However, solver performance, in terms of speed, maximum problem size, and efficiency, is a limiting factor to the more extensive application of the technology. We have developed novel problem representations, algorithms, and heuristics that improve the performance of SAT solvers over existing approaches. Our analysis shows that these developments will provide a performance improvement of 2 to 3 orders of magnitude in terms of solver speed and maximum problem size. We propose to realize these improvements by developing a prototype parallel SAT solver and a compiler. This implementation will be the basis of a product, code named Alef, which we will license to the planning and verification market segments.

* Information listed above is at the time of submission. *

Agency Micro-sites

SBA logo
Department of Agriculture logo
Department of Commerce logo
Department of Defense logo
Department of Education logo
Department of Energy logo
Department of Health and Human Services logo
Department of Homeland Security logo
Department of Transportation logo
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government