An IP Framework for the Crew Pairing Problem Using Subsequence Generation | AMiner