USA flag logo/image

An Official Website of the United States Government

Cognitive Processing Hardware/Software Elements

Award Information

Agency:
Department of Defense
Branch:
Defense Advanced Research Projects Agency
Award ID:
68803
Program Year/Program:
2005 / SBIR
Agency Tracking Number:
04SB1-0347
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
Reservoir Labs., Inc.
632 Broadway, Suite 803 New York, NY 10012-2614
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 2
Fiscal Year: 2005
Title: Cognitive Processing Hardware/Software Elements
Agency / Branch: DOD / DARPA
Contract: W31P4Q-05-C-R171
Award Amount: $748,842.00
 

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.

Principal Investigator:

Richard Lethin
President
2127800527
lethin@reservoir.com

Business Contact:

Melanie Peters
Business Manager
2127800527
peters@reservoir.com
Small Business Information at Submission:

RESERVOIR LABS., INC.
632 Broadway, Suite 803 New York, NY 10012

EIN/Tax ID: 061303098
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No