{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,12]],"date-time":"2025-12-12T02:11:38Z","timestamp":1765505498002,"version":"3.48.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62276284"],"award-info":[{"award-number":["62276284"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Guangdong Basic and Applied Basic Research Foundation","award":["2023A1515011470, 2022A1515011355"],"award-info":[{"award-number":["2023A1515011470, 2022A1515011355"]}]},{"name":"Guangzhou Science and Technology Project","award":["202201011699"],"award-info":[{"award-number":["202201011699"]}]},{"name":"Shenzhen Science and Technology Program","award":["KJZD2023092311405902"],"award-info":[{"award-number":["KJZD2023092311405902"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,11,10]]},"DOI":"10.1145\/3746252.3761195","type":"proceedings-article","created":{"date-parts":[[2025,11,8]],"date-time":"2025-11-08T00:36:36Z","timestamp":1762562196000},"page":"2430-2439","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["OBDD-NET: End-to-End Learning of Ordered Binary Decision Diagrams"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8315-9337","authenticated-orcid":false,"given":"Junming","family":"Qiu","sequence":"first","affiliation":[{"name":"Sun Yat-Sen University, Guangzhou, China and Peng Cheng Laboratory, Shenzhen, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8833-714X","authenticated-orcid":false,"given":"Rongzhen","family":"Ye","sequence":"additional","affiliation":[{"name":"Sun Yat-Sen University, Guangzhou, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3733-9361","authenticated-orcid":false,"given":"Weilin","family":"Luo","sequence":"additional","affiliation":[{"name":"Sun Yat-Sen University, Guangzhou, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2356-4103","authenticated-orcid":false,"given":"Kunxun","family":"Qi","sequence":"additional","affiliation":[{"name":"Sun Yat-Sen University, Guangzhou, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5357-9130","authenticated-orcid":false,"given":"Hai","family":"Wan","sequence":"additional","affiliation":[{"name":"Sun Yat-Sen University, Guangzhou, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9865-2212","authenticated-orcid":false,"given":"Yue","family":"Yu","sequence":"additional","affiliation":[{"name":"Peng Cheng Laboratory, Shenzhen, China"}]}],"member":"320","published-online":{"date-parts":[[2025,11,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1675141"},{"key":"e_1_3_2_1_2_1","volume-title":"Stuckey","author":"Berg Jeremias","year":"2019","unstructured":"Jeremias Berg, Emir Demirovic, and Peter J. Stuckey. 2019. Core-Boosted Linear Search for Incomplete MaxSAT. In Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR-2019). 39-56."},{"key":"e_1_3_2_1_3_1","unstructured":"Leo Breiman J. H. Friedman Richard A. Olshen and C. J. Stone. 1984. Classification and Regression Trees."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE51398.2021.9474083"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2024.3387876"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-022-09377-8"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/2567709.2567736"},{"key":"e_1_3_2_1_9_1","unstructured":"Dheeru Dua and Casey Graff. 2017. hrefhttps:\/\/doi.org\/mldoi:ml"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v37i6.25920"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2022\/417"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.13482"},{"key":"e_1_3_2_1_13_1","first-page":"7583","volume-title":"Proceedings of the 39th International Conference on Machine Learning (ICML-2022)","author":"Glanois Claire","year":"2022","unstructured":"Claire Glanois, Zhaohui Jiang, Xuening Feng, Paul Weng, Matthieu Zimmer, Dong Li, Wulong Liu, and Jianye Hao. 2022. Neuro-Symbolic Hierarchical Rule Induction. In Proceedings of the 39th International Conference on Machine Learning (ICML-2022). 7583-7615."},{"key":"e_1_3_2_1_14_1","unstructured":"Hao Hu. 2022. Interpretable Machine Learning Models via Maximum Boolean Satisfiability. Ph.D. Dissertation. INSA Toulouse France."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v36i4.20291"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 5th International Conference on Learning Representations (ICLR-2017)","author":"Jang Eric","year":"2017","unstructured":"Eric Jang, Shixiang Gu, and Ben Poole. 2017. Categorical Reparameterization with Gumbel-Softmax. In Proceedings of the 5th International Conference on Learning Representations (ICLR-2017)."},{"key":"e_1_3_2_1_17_1","first-page":"1","volume-title":"Proceedings of the 3rd International Conference on Learning Representations (ICLR-2015)","author":"Diederik","unstructured":"Diederik P. Kingma and Jimmy Ba. 2015. Adam: A Method for Stochastic Optimization. In Proceedings of the 3rd International Conference on Learning Representations (ICLR-2015). 1-15."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57868-4_56"},{"key":"e_1_3_2_1_19_1","first-page":"1071","volume-title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-1995)","author":"Kohavi Ron","year":"1995","unstructured":"Ron Kohavi and Chia-Hsin Li. 1995. Oblivious Decision Trees, Graphs, and Top-Down Pruning. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-1995). 1071-1079."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3728956"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i5.16555"},{"key":"e_1_3_2_1_22_1","unstructured":"J. Ross Quinlan. 1993. C4.5: Programs for Machine Learning."},{"key":"e_1_3_2_1_23_1","volume-title":"SAT-Based Learning of Compact Binary Decision Diagrams for Classification. In Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming (CP-2023)","volume":"280","author":"Shati Pouya","unstructured":"Pouya Shati, Eldan Cohen, and Sheila A. McIlraith. 2023. SAT-Based Learning of Compact Binary Decision Diagrams for Classification. In Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming (CP-2023), Vol. 280. 33:1-33:19."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-24258-9_25"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2641190.2641198"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v38i8.28757"},{"key":"e_1_3_2_1_27_1","first-page":"1","volume-title":"DASALS: Differentiable Architecture Search-Driven Approximate Logic Synthesis. In IEEE\/ACM International Conference on Computer Aided Design (ICCAD-2023)","author":"Wang Xuan","year":"2023","unstructured":"Xuan Wang, Zheyu Yan, Chang Meng, Yiyu Shi, and Weikang Qian. 2023. DASALS: Differentiable Architecture Search-Driven Approximate Logic Synthesis. In IEEE\/ACM International Conference on Computer Aided Design (ICCAD-2023). 1-9."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/3540261.3542593"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2023.3328881"},{"key":"e_1_3_2_1_30_1","first-page":"2319","volume-title":"Proceedings of the 31st International Conference on Neural Information Processing Systems (NeurIPS-2017)","author":"Yang Fan","unstructured":"Fan Yang, Zhilin Yang, and William W. Cohen. 2017. Differentiable Learning of Logical Rules for Knowledge Base Reasoning. In Proceedings of the 31st International Conference on Neural Information Processing Systems (NeurIPS-2017). 2319-2328."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2023\/510"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81685-8_8"},{"key":"e_1_3_2_1_33_1","article-title":"Precise Quantitative Analysis of Binarized Neural Networks","volume":"32","author":"Zhang Yedi","year":"2023","unstructured":"Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, and Taolue Chen. 2023b. Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach. ACM Trans. Softw. Eng. Methodol., Vol. 32, 3 (2023), 62:1-62:51.","journal-title":"A BDD-based Approach. ACM Trans. Softw. Eng. Methodol."}],"event":{"name":"CIKM '25: The 34th ACM International Conference on Information and Knowledge Management","sponsor":["SIGIR ACM Special Interest Group on Information Retrieval","SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web"],"location":"Seoul Republic of Korea","acronym":"CIKM '25"},"container-title":["Proceedings of the 34th ACM International Conference on Information and Knowledge Management"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3746252.3761195","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,12]],"date-time":"2025-12-12T02:07:15Z","timestamp":1765505235000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3746252.3761195"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,10]]},"references-count":33,"alternative-id":["10.1145\/3746252.3761195","10.1145\/3746252"],"URL":"https:\/\/doi.org\/10.1145\/3746252.3761195","relation":{},"subject":[],"published":{"date-parts":[[2025,11,10]]},"assertion":[{"value":"2025-11-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}