Follow
Hang YU
Hang YU
Verimag
Verified email at inf.ethz.ch
Title
Cited by
Cited by
Year
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
152018
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
102019
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
52019
Towards an Efficient Parallel Parametric Linear Programming Solver
H Yu
Université Grenoble Alpes (ComUE), 2019
12019
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
The system can't perform the operation now. Try again later.
Articles 1–5