Optimization of Integer-Forcing Precoding for Multi-User MIMO Downlink - RICARDO BOHACZUK VENTURELLI (2021)