The verified polyhedron library: an overview S Boulmé, A Marechaly, D Monniaux, M Périn, H Yu 2018 20th International Symposium on Symbolic and Numeric Algorithms for …, 2018 | 15 | 2018 |
An efficient parametric linear programming solver and application to polyhedral projection H Yu, D Monniaux Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal …, 2019 | 10 | 2019 |
Parallel parametric linear programming solving, and application to polyhedral computations C Coti, D Monniaux, H Yu Computational Science–ICCS 2019: 19th International Conference, Faro …, 2019 | 6 | 2019 |
Towards an Efficient Parallel Parametric Linear Programming Solver H Yu Université Grenoble Alpes (ComUE), 2019 | 1 | 2019 |
A task‐based approach to parallel parametric linear programming solving, and application to polyhedral computations C Coti, D Monniaux, H Yu Concurrency and Computation: Practice and Experience 33 (6), e6050, 2021 | | 2021 |