Accelerating Fourier–Motzkin elimination using bit pattern trees
| Autor: | N. Yu. Zolotykh, Sergey I. Bastrakov, A. V. Churkin |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
Discrete mathematics
Control and Optimization Applied Mathematics 0102 computer and information sciences Elimination method 01 natural sciences 010101 applied mathematics Set (abstract data type) Linear inequality Fourier–Motzkin elimination Bit (horse) 010201 computation theory & mathematics Variable elimination 0101 mathematics Software Mathematics |
| Zdroj: | Optimization Methods and Software. 36:1082-1095 |
| ISSN: | 1029-4937 1055-6788 |
| DOI: | 10.1080/10556788.2020.1712600 |
| Popis: | The paper concerns the elimination of a set of variables from a system of linear inequalities. We employ the widely used Fourier–Motzkin elimination method extended with the Chernikov rules. A stra... |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|