Automated constraint-based scheduling for pilot training | IEEE Conference Publication | IEEE Xplore