10 citations · 15 across the 6 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.OC2019★ 5 cited
An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection
Hang Yu, David Monniaux
Polyhedral projection is a main operation of the polyhedron abstract domain.It can be computed via parametric linear programming (PLP), which is more efficient than the classic Fou…
cs.DC2019
Parallel parametric linear programming solving, and application to polyhedral computations
Camille Coti, David Monniaux, Hang Yu
Parametric linear programming is central in polyhedral computations and in certain control applications.We propose a task-based scheme for parallelizing it, with quasi-linear speed…