Title: A formulation of the allocation of attack aircraft to fixed location targets