{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T13:22:32Z","timestamp":1756992152350},"reference-count":6,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,5,20]],"date-time":"2024-05-20T00:00:00Z","timestamp":1716163200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,5,20]],"date-time":"2024-05-20T00:00:00Z","timestamp":1716163200000},"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":[[2024,5,20]]},"DOI":"10.1109\/mipro60963.2024.10569501","type":"proceedings-article","created":{"date-parts":[[2024,6,28]],"date-time":"2024-06-28T17:55:56Z","timestamp":1719597356000},"page":"1329-1332","source":"Crossref","is-referenced-by-count":1,"title":["Inferring the Overall Difficulty of Isomorphic Questions"],"prefix":"10.1109","author":[{"given":"Bickio","family":"O\u2019Callahan","sequence":"first","affiliation":[{"name":"University of Auckland,School of Computer Science,New Zealand"}]},{"given":"Xinfeng","family":"Ye","sequence":"additional","affiliation":[{"name":"University of Auckland,School of Computer Science,New Zealand"}]},{"given":"Sathiamoorthy","family":"Manoharan","sequence":"additional","affiliation":[{"name":"University of Auckland,School of Computer Science,New Zealand"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1145\/2676723.2677239"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1186\/s41239-021-00257-y"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/TE.2016.2604210"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1016\/j.compedu.2018.11.007"},{"key":"ref5","first-page":"1267","article-title":"Satisfiability modulo theories","author":"Barrett","year":"2021","journal-title":"Handbook of Satisfiability"},{"volume-title":"Z3 guide","year":"2023","key":"ref6"}],"event":{"name":"2024 47th MIPRO ICT and Electronics Convention (MIPRO)","start":{"date-parts":[[2024,5,20]]},"location":"Opatija, Croatia","end":{"date-parts":[[2024,5,24]]}},"container-title":["2024 47th MIPRO ICT and Electronics Convention (MIPRO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10569139\/10569147\/10569501.pdf?arnumber=10569501","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,30]],"date-time":"2024-06-30T04:24:43Z","timestamp":1719721483000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10569501\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,20]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/mipro60963.2024.10569501","relation":{},"subject":[],"published":{"date-parts":[[2024,5,20]]}}}