https://9lib.org/document/qvlxeerd-domain-decomposition-methods-and-deflated-krylov-subspace-iterations.html