Formulation of Reduced-Taskload Optimization Models for Conflict Resolution | IEEE Journals & Magazine | IEEE Xplore