Contrail-Aware Flight Trajectory Trade-Offs and Constraints: Data-Driven Optimization in the United Kingdom Airspace | IEEE Conference Publication | IEEE Xplore