{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:01:47Z","timestamp":1750309307518,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":2,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T00:00:00Z","timestamp":1697932800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,10,22]]},"DOI":"10.1145\/3618305.3623601","type":"proceedings-article","created":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T13:36:31Z","timestamp":1697722591000},"page":"43-45","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["An Optimal Structure-Aware Code Difference Framework with MaxSAT-Solver"],"prefix":"10.1145","author":[{"given":"Haolin","family":"Ye","sequence":"first","affiliation":[{"name":"McGill University, Longueuil, Canada"}]}],"member":"320","published-online":{"date-parts":[[2023,10,22]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"8","article-title":"CASHWMaxSAT: Solver Description","volume":"2021","author":"Lei Zhendong","year":"2021","unstructured":"Zhendong Lei , Shaowei Cai , Dongxu Wang , Yongrong Peng , Fei Geng , Dongdong Wan , Yiping Deng , and Pinyan Lu . 2021 . CASHWMaxSAT: Solver Description . MaxSAT Evaluation , 2021 (2021), 8 . Zhendong Lei, Shaowei Cai, Dongxu Wang, Yongrong Peng, Fei Geng, Dongdong Wan, Yiping Deng, and Pinyan Lu. 2021. CASHWMaxSAT: Solver Description. MaxSAT Evaluation, 2021 (2021), 8.","journal-title":"MaxSAT Evaluation"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3138818"}],"event":{"name":"SPLASH '23: 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"],"location":"Cascais Portugal","acronym":"SPLASH '23"},"container-title":["Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3618305.3623601","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:46Z","timestamp":1750291426000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3618305.3623601"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,22]]},"references-count":2,"alternative-id":["10.1145\/3618305.3623601","10.1145\/3618305"],"URL":"https:\/\/doi.org\/10.1145\/3618305.3623601","relation":{},"subject":[],"published":{"date-parts":[[2023,10,22]]},"assertion":[{"value":"2023-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}