{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T15:10:40Z","timestamp":1769267440339,"version":"3.49.0"},"reference-count":21,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,12,7]],"date-time":"2025-12-07T00:00:00Z","timestamp":1765065600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,12,7]],"date-time":"2025-12-07T00:00:00Z","timestamp":1765065600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["72501012,72325007,72250065"],"award-info":[{"award-number":["72501012,72325007,72250065"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002858","name":"China Postdoctoral Science Foundation","doi-asserted-by":"publisher","award":["2025 T180219,2025M770795"],"award-info":[{"award-number":["2025 T180219,2025M770795"]}],"id":[{"id":"10.13039\/501100002858","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,12,7]]},"DOI":"10.1109\/wsc68292.2025.11339031","type":"proceedings-article","created":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T20:58:15Z","timestamp":1769115495000},"page":"2599-2610","source":"Crossref","is-referenced-by-count":0,"title":["Guiding Program Synthesis with Monte Carlo Tree Search"],"prefix":"10.1109","author":[{"given":"Gongbo","family":"Zhang","sequence":"first","affiliation":[{"name":"Guanghua School of Management, Peking University,Beijing,CHINA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yijie","family":"Peng","sequence":"additional","affiliation":[{"name":"Guanghua School of Management, Peking University,Beijing,CHINA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.3837\/tiis.2019.04.002"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2012.2199119"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCIAIG.2012.2186810"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2009.2033566"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2908961.2931682"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2020.106717"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/11871842_29"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/b978-155860673-9\/50048-3"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2024.123854"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3088792"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.2023.0307"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1162\/evco.2006.14.3.309"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16501-1_7"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2012.2227326"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10710-010-9113-2"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1126\/science.1165893"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.13140\/RG.2.2.18893.74727"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92910-9_24"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.autcon.2024.105588"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2024.106805"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/wsc57314.2022.10015374"}],"event":{"name":"2025 Winter Simulation Conference (WSC)","location":"Seattle, WA, USA","start":{"date-parts":[[2025,12,7]]},"end":{"date-parts":[[2025,12,10]]}},"container-title":["2025 Winter Simulation Conference (WSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11338806\/11338851\/11339031.pdf?arnumber=11339031","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,23]],"date-time":"2026-01-23T07:10:22Z","timestamp":1769152222000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11339031\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,7]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/wsc68292.2025.11339031","relation":{},"subject":[],"published":{"date-parts":[[2025,12,7]]}}}