Convergence of a balancing domain decomposition by constraints and energy minimization | Synapse