Exact SMP Algorithms for Integer-Forcing Linear MIMO Receivers | IEEE Journals & Magazine | IEEE Xplore