@article{Šimeček_Fritsch_Langr_Lórencz_2017, title={Parallel Solver of Large Systems of Linear Inequalities Using Fourier-Motzkin Elimination}, volume={35}, url={https://www.cai.sk/ojs/index.php/cai/article/view/2382}, abstractNote={Fourier-Motzkin elimination is a computationally expensive but powerful method to solve a system of linear inequalities. These systems arise e.g. in execution order analysis for loop nests or in integer linear programming. This paper focuses on the analysis, design and implementation of a parallel solver for distributed memory for large systems of linear inequalities using the Fourier-Motzkin elimination algorithm. We also measure the speedup of parallel solver and prove that this implementation results in good scalability.}, number={6}, journal={COMPUTING AND INFORMATICS}, author={Šimeček, Ivan and Fritsch, Richard and Langr, Daniel and Lórencz, Róbert}, year={2017}, month={Feb.}, pages={1307–1337} }