Login / Signup
Hang Yu
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 7
Top Topics
Convex Hull
Detailed Discussion
Computer Architecture
Linear Program
Top Venues
CoRR
SYNASC
ICCS (5)
Concurr. Comput. Pract. Exp.
</>
Publications
</>
Camille Coti
,
David Monniaux
,
Hang Yu
A task-based approach to parallel parametric linear programming solving, and application to polyhedral computations.
Concurr. Comput. Pract. Exp.
33 (6) (2021)
Camille Coti
,
David Monniaux
,
Hang Yu
A task-based approach to parallel parametric linear programming solving, and application to polyhedral computations.
CoRR
(2020)
Camille Coti
,
David Monniaux
,
Hang Yu
Parallel parametric linear programming solving, and application to polyhedral computations.
CoRR
(2019)
Camille Coti
,
David Monniaux
,
Hang Yu
Parallel Parametric Linear Programming Solving, and Application to Polyhedral Computations.
ICCS (5)
(2019)
Hang Yu
,
David Monniaux
An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection.
SAS
(2019)
Hang Yu
,
David Monniaux
An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection.
CoRR
(2019)
Sylvain Boulmé
,
Alexandre Maréchal
,
David Monniaux
,
Michaël Périn
,
Hang Yu
The Verified Polyhedron Library: an Overview.
SYNASC
(2018)