Zaslat SMS: Aerospace applications of integer and combinatorial optimization / by S.L. Padula and R.K. Kincaid.