TY - JOUR
AU - Šimeček, Ivan
AU - Fritsch, Richard
AU - Langr, Daniel
AU - Lórencz, Róbert
PY - 2017/02/10
Y2 - 2024/03/02
TI - Parallel Solver of Large Systems of Linear Inequalities Using Fourier-Motzkin Elimination
JF - COMPUTING AND INFORMATICS
JA - Comput. Inform.
VL - 35
IS - 6
SE - Articles
DO -
UR - https://www.cai.sk/ojs/index.php/cai/article/view/2382
SP - 1307-1337
AB - 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.
ER -