{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,20]],"date-time":"2024-08-20T06:32:02Z","timestamp":1724135522168},"reference-count":47,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2020,9,1]],"date-time":"2020-09-01T00:00:00Z","timestamp":1598918400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,9,1]],"date-time":"2020-09-01T00:00:00Z","timestamp":1598918400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,9,1]],"date-time":"2020-09-01T00:00:00Z","timestamp":1598918400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100003802","name":"Hong Kong University Grants Committee","doi-asserted-by":"publisher","award":["11207615","AoE\/E-02\/08"],"id":[{"id":"10.13039\/501100003802","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61771018"],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Inform. Theory"],"published-print":{"date-parts":[[2020,9]]},"DOI":"10.1109\/tit.2020.2982642","type":"journal-article","created":{"date-parts":[[2020,3,23]],"date-time":"2020-03-23T19:47:16Z","timestamp":1584992836000},"page":"5522-5536","source":"Crossref","is-referenced-by-count":12,"title":["Proving and Disproving Information Inequalities: Theory and Scalable Algorithms"],"prefix":"10.1109","volume":"66","author":[{"ORCID":"http:\/\/orcid.org\/0000-0002-8630-494X","authenticated-orcid":false,"given":"Siu-Wai","family":"Ho","sequence":"first","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0001-8506-158X","authenticated-orcid":false,"given":"Lin","family":"Ling","sequence":"additional","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-6624-9752","authenticated-orcid":false,"given":"Chee Wei","family":"Tan","sequence":"additional","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0001-7386-4027","authenticated-orcid":false,"given":"Raymond W.","family":"Yeung","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1561\/2200000016"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2019.2900669"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/990308.990310"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.23919\/ISITA.2018.8664232"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2011.2165817"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2008.929958"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ISIT.2017.8006614"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.1.4.287"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/BF02592025"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6377(94)90074-4"},{"key":"ref10","author":"li","year":"2020","journal-title":"Psitip—Python Symbolic Information Theoretic Inequality Prover"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1561\/2400000003"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2014.140516"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/18.761254"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2012.2201340"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2017.2745620"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/LCOMM.2016.2594762"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2016.2628791"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/18.641561"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/18.681320"},{"key":"ref19","first-page":"41","article-title":"Infinitely many information inequalities","author":"matus","year":"2007","journal-title":"Proc IEEE Int Symp Inf Theory"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2005.858979"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/029\/749239"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/BF02293050"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ISIT.2019.8849799"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/18.641556"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15582-6_28"},{"key":"ref8","author":"pulikkoonattu","year":"2006","journal-title":"A ITIP-based C Program Software Package"},{"key":"ref7","author":"yeung","year":"1999","journal-title":"Information Theoretic Inequality Prover (ITIP) Matlab Program Software Package"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCS.2014.7024792"},{"key":"ref9","author":"csirmaz","year":"2016","journal-title":"Minitip—A MINimal Information Theoretic Inequality Prover"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ISIT.2014.6875347"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TSP.2017.2762286"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ISIT.2006.261840"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1038\/ncomms6766"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.4310\/CIS.2002.v2.n2.a3"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/CISS48834.2020.1570627814"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"41","DOI":"10.4310\/CIS.2003.v3.n1.a3","article-title":"On the tightness of the Zhang-Yeung inequality for Gaussian vectors","volume":"3","author":"ln?ni?ka","year":"2003","journal-title":"Commun Inf Syst"},{"key":"ref42","year":"2018","journal-title":"Gurobi Optimizer Reference Manual"},{"key":"ref24","author":"yeung","year":"2008","journal-title":"Information Theory and Network Coding"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.2001.940586"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184594"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1038\/nature08400"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2011.2150761"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/1401132.1401152"},{"key":"ref25","author":"bertsimas","year":"1997","journal-title":"Introduction to Linear Optimization"}],"container-title":["IEEE Transactions on Information Theory"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/18\/9170933\/09044774.pdf?arnumber=9044774","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T15:29:20Z","timestamp":1666193360000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9044774\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9]]},"references-count":47,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/tit.2020.2982642","relation":{},"ISSN":["0018-9448","1557-9654"],"issn-type":[{"value":"0018-9448","type":"print"},{"value":"1557-9654","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,9]]}}}