This contribution explores the use of interference mitigation techniques applied to broadband satellite systems with co-channel interference. In particular, our focus is on nonlinear precoding techniques, borrowing ideas from the theory of broadcast MIMO channels. A number of schemes are compared, including several implementations of Tomlinson-Harashima precoding and their linear precoding counterparts. Simulations on realistic scenarios show potential improvements of non-linear precoding with respect to linear interference mitigation and classical countermeasures based on frequency division among beams. Also, we identify several practical issues related to the implementation of Tomlinson-Harashima Precoding in satellite communication systems.