Solving the large airline disruption problems using a distributed computation approach to integer programming | IEEE Conference Publication | IEEE Xplore