{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T05:01:28Z","timestamp":1773378088785,"version":"3.50.1"},"reference-count":11,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,6,26]],"date-time":"2022-06-26T00:00:00Z","timestamp":1656201600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,6,26]],"date-time":"2022-06-26T00:00:00Z","timestamp":1656201600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,6,26]]},"DOI":"10.1109\/isit50566.2022.9834626","type":"proceedings-article","created":{"date-parts":[[2022,8,3]],"date-time":"2022-08-03T15:34:22Z","timestamp":1659540862000},"page":"714-717","source":"Crossref","is-referenced-by-count":1,"title":["A Simpler Proof of the Four Functions Theorem and Some New Variants"],"prefix":"10.1109","author":[{"given":"Dimitris","family":"Achlioptas","sequence":"first","affiliation":[{"name":"University of Athens,Department of Informatics & Telecommunications,Athens,Greece"}]},{"given":"Kostas","family":"Zampetakis","sequence":"additional","affiliation":[{"name":"University of California Santa Cruz,Department of Computer Science & Engineering,Santa Cruz,U.S.A."}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01651330"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/BF00565648"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1214\/aop\/1176993791"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68276-1"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2013.2264715"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/BF01645980"},{"key":"ref8","article-title":"The bethe partition function of log-supermodular graphical models","volume":"25","author":"ruozzi","year":"2012","journal-title":"Advances in neural information processing systems"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BF01202353"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00536201"},{"key":"ref9","first-page":"1048","article-title":"A Lower Bound on the Partition Function of Attractive Graphical Models in the Continuous Case","author":"ruozzi","year":"2017","journal-title":"Proceedings of the 20th International Conference on Artificial Intelligence and Statistics volume 54 of Proceedings of Machine Learning Research"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(94)00294-S"}],"event":{"name":"2022 IEEE International Symposium on Information Theory (ISIT)","location":"Espoo, Finland","start":{"date-parts":[[2022,6,26]]},"end":{"date-parts":[[2022,7,1]]}},"container-title":["2022 IEEE International Symposium on Information Theory (ISIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9834325\/9834269\/09834626.pdf?arnumber=9834626","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T20:36:13Z","timestamp":1773347773000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9834626\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,26]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/isit50566.2022.9834626","relation":{},"subject":[],"published":{"date-parts":[[2022,6,26]]}}}