1 paper · 1 filter
Hao Xu, Kai-Kit Wong, Giuseppe Caire
In this note, we show how difficult the brute-force Fourier-Motzkin elimination is, even in a simple case with three eliminating variables. Specifically, we first give a theorem, w…