USA flag logo/image

An Official Website of the United States Government

Applying Distributed SAT-based Constrained Optimization to Global Missile…

Award Information

Department of Defense
Missile Defense Agency
Award ID:
Program Year/Program:
2009 / SBIR
Agency Tracking Number:
Solicitation Year:
Solicitation Topic Code:
Solicitation Number:
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 1
Fiscal Year: 2009
Title: Applying Distributed SAT-based Constrained Optimization to Global Missile Defense Battle Management
Agency / Branch: DOD / MDA
Contract: W9113M-09-C-0112
Award Amount: $99,965.00


As part of an ongoing MDA SBIR effort we have developed REASON, a scenario environment for the missile defense battle management asset assignment and employment problems. Through that effort, we demonstrated how it was both possible and computational advantageous to map missile defense intercept scenarios involving complex coordination, mutual-exclusion, and deconfliction constraints and global notions of solution fitness to instances of the Boolean Satisfiability (SAT) problem. Through the implementation of a series of algorithmic innovations, we demonstrated considerable speedup resolving these instances in distributed computing environments that will ultimately scale up from commodity clusters all the way to future net-centric environments. In this effort, we propose to build upon and extend that ongoing work with new capabilities that address the need for (1) optimization in the context of global inventory management (2) incorporation of constraints that address probabilistic outcomes and (3) a broader problem formulation that admits feedback and iterative refinement. We are again partnering with Lockheed Martin Maritime Systems & Sensors (MS2) developers of the Aegis BMD system who will be assisting us with requirements analysis and evaluation. Lockheed Martin MS2 has an interest in transitioning this technology to address problems in persistent surveillance, multi-target tracking, and multi-sensor fusion.

Principal Investigator:

James Ezick
Senior Engineer

Business Contact:

Melanie Peters
Business Manager
Small Business Information at Submission:

632 Broadway, Suite 803 New York, NY 10012

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