First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 389,27 KBShare Document on Facebook |