Cognitive Processing Hardware/Software Elements

Award Information
Agency:
Department of Defense
Branch
Defense Advanced Research Projects Agency
Amount:
$748,842.00
Award Year:
2005
Program:
SBIR
Phase:
Phase II
Contract:
W31P4Q-05-C-R171
Award Id:
68803
Agency Tracking Number:
04SB1-0347
Solicitation Year:
n/a
Solicitation Topic Code:
n/a
Solicitation Number:
n/a
Small Business Information
632 Broadway, Suite 803, New York, NY, 10012
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
022423854
Principal Investigator:
RichardLethin
President
(212) 780-0527
lethin@reservoir.com
Business Contact:
MelaniePeters
Business Manager
(212) 780-0527
peters@reservoir.com
Research Institute:
n/a
Abstract
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 AlefT, 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

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

National Science Foundation logo
US Flag An Official Website of the United States Government