Accelerating Fourier--Motzkin elimination: redundancy removal and the choice of variable elimination order

作者：Shashaank Khanna · 单位：Department of Mathematics, University of York, Heslington, York, YO10 5DD, United Kingdom, Aix-Marseille University, CNRS, LIS, Marseille, France · 会议/期刊：arXiv preprint · 方向：cs.CC · 发布日期：2026-09-09