The estimation of weighted solution convex polyhedron in SMT problem - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zhenhui Xu, Yuting Yang, Nan Jiang, Chunxu Zhang, Pei Huang. The estimation of weighted solution convex polyhedron in SMT problem. In 4th International Conference on Cloud Computing and Intelligence Systems, CCIS 2016, Beijing, China, August 17-19, 2016. pages 131-135, IEEE, 2016. [doi]

This author has not been identified. Look up 'Zhenhui Xu' in GoogleThis author has not been identified. Look up 'Yuting Yang' in GoogleThis author has not been identified. Look up 'Nan Jiang' in GoogleThis author has not been identified. Look up 'Chunxu Zhang' in GoogleThis author has not been identified. Look up 'Pei Huang' in Google

runs on WebDSL