"An Efficient Parametric Linear Programming Solver and Application to ..."

Hang Yu, David Monniaux (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics