Analysis and Preconditioning of a Probabilistic Domain Decomposition Algorithm for Elliptic Boundary Value Problems