Detailed Steps of the Fourier-Motzkin Elimination
XU Xiao-li, Yong Zeng, Yong Liang Guan, Tracey Ho · arXiv (Cornell University) · 2012
This file provide the detailed steps for obtaining the bounds on $R_1$, $R_2$ via the obtained results on $(R_{1c},R_{1p},R_{2c},R_{2p})$. It is subplementary material for the paper titled "On the Capacity Region of Two-User Linear Deterministic Interference Channel and Its Application to Multi-Session Network Coding"