{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,7]],"date-time":"2026-06-07T04:48:52Z","timestamp":1780807732277,"version":"3.54.1"},"reference-count":19,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"NSFC","doi-asserted-by":"publisher","award":["U21B2015"],"award-info":[{"award-number":["U21B2015"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"NSFC","doi-asserted-by":"publisher","award":["62372178"],"award-info":[{"award-number":["62372178"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2025,10]]},"DOI":"10.1109\/tcad.2025.3551658","type":"journal-article","created":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:48:46Z","timestamp":1742395726000},"page":"4032-4037","source":"Crossref","is-referenced-by-count":3,"title":["Revisiting Assumptions Ordering in CAR-Based Model Checking"],"prefix":"10.1109","volume":"44","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-0508-6146","authenticated-orcid":false,"given":"Yibo","family":"Dong","sequence":"first","affiliation":[{"name":"Software Engineering Institute, East China Normal University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yu","family":"Chen","sequence":"additional","affiliation":[{"name":"School of Computer and Information Engineering, Chuzhou University, Chuzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9286-8285","authenticated-orcid":false,"given":"Jianwen","family":"Li","sequence":"additional","affiliation":[{"name":"Software Engineering Institute, East China Normal University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9750-8334","authenticated-orcid":false,"given":"Geguang","family":"Pu","sequence":"additional","affiliation":[{"name":"Software Engineering Institute, East China Normal University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9169-3751","authenticated-orcid":false,"given":"Ofer","family":"Strichman","sequence":"additional","affiliation":[{"name":"Faculty of Data and Decision Sciences, Technion, Haifa, Israel"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1999.781333"},{"key":"ref2","author":"Biere","year":"2025","journal-title":"AIGER format"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18275-4_7"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_5"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1512464.1512472"},{"key":"ref6","volume-title":"The AIGER and-Inverter Graph (AIG) Format Version 20070427","author":"Brummayer","year":"2007"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"},{"key":"ref8","volume-title":"Artifacts","year":"2025"},{"key":"ref9","article-title":"Revisiting assumptions ordering in CAR-based model checking","author":"Dong","year":"2024","journal-title":"arXiv:2411.00026"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-41600-3_12"},{"key":"ref11","volume-title":"HWMCC\u201920","year":"2020"},{"key":"ref12","volume-title":"HWMCC\u0160\u201924","year":"2024"},{"key":"ref13","volume-title":"IC3Ref","year":"2025"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96142-2_5"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2017.8203765"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24318-4_23"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25543-5_21"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-37703-7_14"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3508352.3549393"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/43\/11155107\/10934092.pdf?arnumber=10934092","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T18:43:23Z","timestamp":1763750603000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10934092\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10]]},"references-count":19,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2025.3551658","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10]]}}}