Computing Aviation Sparing Policies: Solving a Large Nonlinear Integer Program. - Ronald H. Nickel; Igor Mikolic-Torreira; Jon W. Tolle (Comput. Optim. Appl., 2006)