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]
Abstract is missing.