@inproceedings{YM9,
title = {An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection },
author = {Yu, Hang and Monniaux, David},
year = {2019},
booktitle = {Static Analysis (SAS)},
pages = {203--224},
volume = {11822},
team = {PACSS},
fbooktitle = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto, Portugal, October 8-11, 2019, Proceedings},
zurl = {https://doi.org/10.1007/978-3-030-32304-2\_11},
timestamp = {Mon, 07 Oct 2019 12:38:12 +0200},
biburl = {https://dblp.org/rec/bib/conf/sas/YuM19},
bibsource = {dblp computer science bibliography, https://dblp.org},
}