A New Distributed Constrained Multi-Agent Optimization Protocol with Convergence Proof via Exactness of Penalized Objective Function | IEEE Conference Publication | IEEE Xplore