Bento, J.; Derbinsky, N.; Mathy, C.; Yedidia, J. Proximal Operators for Multi-Agent Path Planning. AAAI 2015, 29.