%0 Conference Paper %1 conf/sac/AlbertiM15 %A Alberti, Francesco %A Monniaux, David %B SAC %D 2015 %E Wainwright, Roger L. %E Corchado, Juan Manuel %E Bechini, Alessio %E Hong, Jiman %I ACM %K dblp %P 1745-1750 %T Polyhedra to the rescue of array interpolants. %U http://dblp.uni-trier.de/db/conf/sac/sac2015.html#AlbertiM15 %@ 978-1-4503-3196-8

@inproceedings{conf/sac/AlbertiM15, added-at = {2018-11-06T00:00:00.000+0100}, author = {Alberti, Francesco and Monniaux, David}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2795c56dfc8106c87afc9728d5196f60a/dblp}, booktitle = {SAC}, crossref = {conf/sac/2015}, editor = {Wainwright, Roger L. and Corchado, Juan Manuel and Bechini, Alessio and Hong, Jiman}, ee = {https://doi.org/10.1145/2695664.2695784}, interhash = {13a906a8c17ae0572d10711b7b64e34d}, intrahash = {795c56dfc8106c87afc9728d5196f60a}, isbn = {978-1-4503-3196-8}, keywords = {dblp}, pages = {1745-1750}, publisher = {ACM}, timestamp = {2019-09-27T21:43:49.000+0200}, title = {Polyhedra to the rescue of array interpolants.}, url = {http://dblp.uni-trier.de/db/conf/sac/sac2015.html#AlbertiM15}, year = 2015 }