Effective reformulations for task allocation in distributed systems with a large number of communicating tasks | IEEE Journals & Magazine | IEEE Xplore