{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T07:20:23Z","timestamp":1760080823736,"version":"3.37.3"},"reference-count":32,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T00:00:00Z","timestamp":1687737600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T00:00:00Z","timestamp":1687737600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,6,26]]},"DOI":"10.1109\/lics56636.2023.10175742","type":"proceedings-article","created":{"date-parts":[[2023,7,14]],"date-time":"2023-07-14T17:18:23Z","timestamp":1689355103000},"page":"1-13","source":"Crossref","is-referenced-by-count":2,"title":["On Exact Sampling in the Two-Variable Fragment of First-Order Logic"],"prefix":"10.1109","author":[{"given":"Yuanhong","family":"Wang","sequence":"first","affiliation":[{"name":"Beihang University,State Key Laboratory of Software Development Environment,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juhua","family":"Pu","sequence":"additional","affiliation":[{"name":"Beihang University,State Key Laboratory of Software Development Environment,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuyi","family":"Wang","sequence":"additional","affiliation":[{"name":"CRRC Zhuzhou Institute,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ond\u0159ej","family":"Ku\u017eelka","sequence":"additional","affiliation":[{"name":"Czech Technical University in Prague,Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2745754.2745760"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-006-5833-1"},{"key":"ref15","article-title":"New liftable classes for first-order probabilistic inference","volume":"29","author":"kazemi","year":"2016","journal-title":"Advances in neural information processing systems"},{"key":"ref14","article-title":"On the completeness of first-order knowledge compilation for lifted probabilistic inference","volume":"24","author":"van den broeck","year":"2011","journal-title":"Advances in neural information processing systems"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.24963\/kr.2021\/57"},{"key":"ref30","article-title":"From weighted to unweighted model counting","author":"chakraborty","year":"2015","journal-title":"Twenty-Fourth International Joint Conference on Artificial Intelligence"},{"key":"ref11","first-page":"985","article-title":"First-order probabilistic inference","volume":"3","author":"poole","year":"2003","journal-title":"IJCAI"},{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.1109\/LICS56636.2023.10175742","article-title":"On exact sampling in the two-variable fragment of first-order logic","author":"wang","year":"2023"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068413000707"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-01574-8"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v36i9.21246"},{"key":"ref17","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v37i10.26449","article-title":"Lifted inference with linear order axiom","author":"t\u00f3th","year":"2023","journal-title":"Proceedings of the AAAI Conference on Artificial Intelligence"},{"article-title":"Domain recursion for lifted inference with existential quantifiers","year":"2017","author":"kazemi","key":"ref16"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_40"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA201009"},{"key":"ref24","article-title":"Conditioning in first-order knowledge compilation and lifted probabilistic inference","author":"van den broeck","year":"2012","journal-title":"Twenty-Sixth AAAI Conference on Artificial Intelligence"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3406325.3451101"},{"key":"ref26","first-page":"74","article-title":"A decision method for validity of sentences in two variables","volume":"27","author":"scott","year":"1962","journal-title":"Journal of Symbolic Logic"},{"key":"ref25","article-title":"On the complexity and approximation of binary evidence in lifted inference","volume":"26","author":"van den broeck","year":"2013","journal-title":"Advances in neural information processing systems"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_25"},{"article-title":"Perfect sampling for (atomic) lov\\’asz local lemma","year":"2021","author":"he","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3310131"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1997.614957"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.2307\/421196"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_22"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1017\/S0963548306007978"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.12320"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.2015.78"},{"key":"ref4","article-title":"Skolemization for weighted first-order model counting","author":"van den broeck","year":"2014","journal-title":"Principles of Knowledge Representation and Reasoning-international Conference"},{"key":"ref3","first-page":"2178","article-title":"Lifted probabilistic inference by first-order knowledge compilation","author":"van den broeck","year":"2011","journal-title":"Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209168"},{"key":"ref5","volume":"1","author":"robinson","year":"2001","journal-title":"Handbook of Automated Reasoning"}],"event":{"name":"2023 38th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","start":{"date-parts":[[2023,6,26]]},"location":"Boston, MA, USA","end":{"date-parts":[[2023,6,29]]}},"container-title":["2023 38th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10175635\/10175671\/10175742.pdf?arnumber=10175742","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T17:59:14Z","timestamp":1690912754000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10175742\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,26]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/lics56636.2023.10175742","relation":{},"subject":[],"published":{"date-parts":[[2023,6,26]]}}}