@misc{indiciae4d445b0a204e, title = {Accelerating Fourier--Motzkin elimination: redundancy removal and the choice of variable elimination order}, author = {Shashaank Khanna}, year = {2026}, url = {https://arxiv.org/abs/2609.07960}, note = {Source identifier: 2609.07960} }