Mathematical Programs and Computations for a Class of Anti-aircraft Mission Planning Problems Topics: Optimization; OR in National Defense/International Security In Proceedings of the 7th International Conference on Operations Research and Enterprise Systems ICORES - Volume 1, 155-163, 2018 , Funchal, Madeira, Portugal