![Algebra / Polynomial / RASAT / Inequality / NP-complete problems Algebra / Polynomial / RASAT / Inequality / NP-complete problems](https://www.pdfsearch.io/img/03cc3795a14f683b60b8e189d2550cf0.jpg) Date: 2014-07-19 03:22:32Algebra Polynomial RASAT Inequality NP-complete problems | | raSAT: SMT for Polynomial Inequality To Van Khanh (UET/VNU-HN) Vu Xuan Tung, Mizuhito Ogawa (JAISTAdd to Reading ListSource URL: smt2014.it.uu.seDownload Document from Source Website File Size: 389,27 KBShare Document on Facebook
|