Reservoir Labs proposes REASON-GFC (The Reservoir Assignment System for Optimal Intercept, for Ground-based Fire Control), an effort that will solve the problem of dynamic battle management, informing salvo management and ground based fire control asset usage with multiple plans for the warfighter to choose from. The innovative use of logical-constraint solving (SATisfiability) to find, in real-time, feasible asset-pairing solutions to problems scaling through hundreds of coordinated assets, update that solution in response to a highly dynamic environment, and, through the use of Smart Repair, provide the warfighter with a choice of battle plans for implementation, will give the DoD a flexible, configurable tool for tasking missile defense for homeland and asset defense. Approved for Public Release | 21-MDA-11013 (19 Nov 21)
