{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:46:54Z","timestamp":1729622814815,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1109\/netcod.2015.7176794","type":"proceedings-article","created":{"date-parts":[[2015,8,12]],"date-time":"2015-08-12T22:50:40Z","timestamp":1439419840000},"page":"81-85","source":"Crossref","is-referenced-by-count":4,"title":["Computer aided proofs for rate regions of independent distributed source coding problems"],"prefix":"10.1109","author":[{"given":"Congduan","family":"Li","sequence":"first","affiliation":[]},{"given":"Steven","family":"Weber","sequence":"additional","affiliation":[]},{"given":"John Maclaren","family":"Walsh","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2010.2054535"},{"key":"ref11","doi-asserted-by":"crossref","DOI":"10.17918\/etd-6648","article-title":"On multi-source multi-sink hyperedge networks: enumeration, rate region computation, and hierarchy","author":"li","year":"2015"},{"journal-title":"Error-Correcting Linear Codes Classification by Isometry and Applications ser Algorithms and Computation in Mathematics","year":"2006","author":"betten","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2014.7028610"},{"journal-title":"Information Theory and Network Coding","year":"2008","author":"yeung","key":"ref14"},{"article-title":"Software for computing bounds on entropic vectors region and network rate region","year":"0","author":"li","key":"ref15"},{"article-title":"Exact Rate Regions and Codes for all (K, E) IDSCs with K, E E {2, 3}","year":"0","author":"li","key":"ref16"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/NetCod.2013.6570825"},{"key":"ref3","first-page":"1","article-title":"Computational approaches for determining rate regions and codes using entropic vector bounds","author":"li","year":"2012","journal-title":"50th Annual Allerton Conference on Communication Control and Computing"},{"key":"ref6","article-title":"Multilevel diversity coding systems: Rate regions, codes, computation, & forbidden minors","volume":"abs 1407 5659","author":"li","year":"2014","journal-title":"CoRR"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ISIT.2014.6875245"},{"article-title":"Multilevel diversity coding with independent data streams","year":"1995","author":"hau","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/18.370142"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2012.2201340"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/18.761254"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/18.568720"}],"event":{"name":"2015 International Symposium on Network Coding (NetCod)","start":{"date-parts":[[2015,6,22]]},"location":"Sydney, Australia","end":{"date-parts":[[2015,6,24]]}},"container-title":["2015 International Symposium on Network Coding (NetCod)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7172790\/7176630\/07176794.pdf?arnumber=7176794","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,20]],"date-time":"2022-05-20T09:49:08Z","timestamp":1653040148000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7176794\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/netcod.2015.7176794","relation":{},"subject":[],"published":{"date-parts":[[2015,6]]}}}