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]
@inproceedings{XuYJZH16,
title = {The estimation of weighted solution convex polyhedron in SMT problem},
author = {Zhenhui Xu and Yuting Yang and Nan Jiang and Chunxu Zhang and Pei Huang},
year = {2016},
doi = {10.1109/CCIS.2016.7790239},
url = {http://dx.doi.org/10.1109/CCIS.2016.7790239},
researchr = {https://researchr.org/publication/XuYJZH16},
cites = {0},
citedby = {0},
pages = {131-135},
booktitle = {4th International Conference on Cloud Computing and Intelligence Systems, CCIS 2016, Beijing, China, August 17-19, 2016},
publisher = {IEEE},
isbn = {978-1-5090-1256-5},
}