Rigorous State Evolution Analysis for Approximate Message Passing With Side Information | IEEE Journals & Magazine | IEEE Xplore