Optimizing Surveillance Satellites for the Synthetic Theater Operations Research Model. - Steven M. Warner; Johannes O. Royset (CoRR, 2022)