{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T11:54:47Z","timestamp":1725450887660},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1109\/ccis.2016.7790239","type":"proceedings-article","created":{"date-parts":[[2016,12,19]],"date-time":"2016-12-19T21:56:42Z","timestamp":1482184602000},"page":"131-135","source":"Crossref","is-referenced-by-count":0,"title":["The estimation of weighted solution convex polyhedron in SMT problem"],"prefix":"10.1109","author":[{"given":"Zhenhui","family":"Xu","sequence":"first","affiliation":[]},{"given":"Yuting","family":"Yang","sequence":"additional","affiliation":[]},{"given":"Nan","family":"Jiang","sequence":"additional","affiliation":[]},{"given":"Chunxu","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Pei","family":"Huang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359570"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/322186.322198"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19647-3_6"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2422.322411"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/322123.322137"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/356989.357008"},{"article-title":"Quantitative Analysis of Symbolic Execution","year":"0","author":"zhang","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/357073.357079"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1137\/0217060"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1995376.1995394"}],"event":{"name":"2016 4th International Conference on Cloud Computing and Intelligence Systems (CCIS)","start":{"date-parts":[[2016,8,17]]},"location":"Beijing","end":{"date-parts":[[2016,8,19]]}},"container-title":["2016 4th International Conference on Cloud Computing and Intelligence Systems (CCIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7777680\/7790213\/07790239.pdf?arnumber=7790239","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,6]],"date-time":"2020-03-06T14:05:55Z","timestamp":1583503555000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7790239\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/ccis.2016.7790239","relation":{},"subject":[],"published":{"date-parts":[[2016,8]]}}}