Adan Vela, Karen M. Feigh, Senay Solak, William E. Singhose, John-Paul Clarke. Formulation of Reduced-Taskload Optimization Models for Conflict Resolution. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 42(6):1552-1561, 2012. [doi]
Abstract is missing.