A residual-based message passing algorithm for constraint satisfaction problems. - Chun-Yan Zhao; Yan-Rong Fu; Jin-Hua Zhao (CoRR, 2022)