On the mathematical program in theater anti-aircraft distribution problem

The military theater anti-aircraft distribution problem is associated with determining positions of defender's missiles within a potential geographic area of operation. This research focuses on formulating and solving a mathematical model to aid decision makers to maximize defender's efficient course of actions assuming that an aircraft attacking plan is observed. The developed model is a Mixed Integer Program (MIP) and solved using our proposed constraint-based local search algorithm as well as CPLEX solver. Experimental results on the simulated data allow us certainly establish the quality of any defensive plan.