An Official Website of the United States Government
Cognitive Processing Hardware/Software Elements
- Small Business Information
-
Woman-Owned: NoMinority-Owned: NoHUBZone-Owned: No
- Phase 2
-
Fiscal Year: 2011Title: Cognitive Processing Hardware/Software ElementsAgency / Branch: DOD / DARPAContract: W91CRB11C0087Award Amount: $749,995.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 Alef, which we will license to the planning and verification market segments.Small Business Information at Submission:Reservoir Labs., Inc.
632 Broadway, Suite 803 New York, NY -EIN/Tax ID: 061303098DUNS: N/ANumber of Employees:Woman-Owned: NoMinority-Owned: NoHUBZone-Owned: No
Award Information
|
Agency: Department of Defense |
Branch: Defense Advanced Research Projects Agency |
Award ID: |
Program Year/Program: 2011 / SBIR |
|
Agency Tracking Number: 04SB1-0604 |
Solicitation Year: 2010 |
Solicitation Topic Code: SB041-019 |
Solicitation Number: 2010.1 |