On Compact Formulation of Constraints Induced by Disjoint Prohibited-Zones | IEEE Journals & Magazine | IEEE Xplore