Back to Results
First PageMeta Content
Algebra / Polynomial / RASAT / Inequality / NP-complete problems


raSAT: SMT for Polynomial Inequality To Van Khanh (UET/VNU-HN) Vu Xuan Tung, Mizuhito Ogawa (JAIST
Add to Reading List

Document Date: 2014-07-19 03:22:32

Open Document

File Size: 389,27 KB

Share Result on Facebook
UPDATE