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},
}