Mini-Batch Stochastic Three-Operator Splitting for Distributed Optimization | IEEE Journals & Magazine | IEEE Xplore