J. Bento, N. Derbinsky, C. Mathy, and J. Yedidia, “Proximal Operators for Multi-Agent Path Planning”, AAAI, vol. 29, no. 1, Mar. 2015.