![](https://www.pdfsearch.io/img/d29e4c585054370b34380e24fdf81d28.jpg) Date: 2014-12-26 08:41:59
| | The Polyhedral Model Definitions Operations on Polyhedra Quantifier Elimination and SMT solvers Last WordsAdd to Reading ListSource URL: perso.ens-lyon.frDownload Document from Source Website File Size: 789,58 KBShare Document on Facebook
|