{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,28]],"date-time":"2025-08-28T05:10:27Z","timestamp":1756357827906,"version":"3.44.0"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T00:00:00Z","timestamp":1751760000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T00:00:00Z","timestamp":1751760000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100013357","name":"Indian Statistical Institute","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100013357","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,7,6]]},"DOI":"10.1109\/isvlsi65124.2025.11130348","type":"proceedings-article","created":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T18:20:15Z","timestamp":1756318815000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["New Branching Heuristics for Incremental Bounded Model Checking"],"prefix":"10.1109","author":[{"given":"Satyam","family":"Shubham","sequence":"first","affiliation":[{"name":"Indian Statistical Institute,Kolkata,India"}]},{"given":"Sutirtha","family":"Bhattacharyya","sequence":"additional","affiliation":[{"name":"IACS,Kolkata"}]},{"given":"Ansuman","family":"Banerjee","sequence":"additional","affiliation":[{"name":"Indian Statistical Institute,Kolkata,India"}]},{"given":"Raj Kumar","family":"Gajavelly","sequence":"additional","affiliation":[{"name":"IBM Systems,India"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA360973"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/321033.321034"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/12.769433"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/378239.379017"},{"volume-title":"Abc: A system for sequential synthesis and verification","year":"2012","key":"ref6"},{"article-title":"The glucose sat solver","year":"2013","author":"Audemard","key":"ref7"},{"article-title":"Hwmcc\u201924 benchmarks and results","year":"2024","author":"Preiner","key":"ref8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-81955-1_28"},{"journal-title":"FMV at JKU","article-title":"The aiger and-inverter graph (aig) format","year":"2014","key":"ref10"},{"issue":"4040","key":"ref11","article-title":"AIGER 1.9 and beyond","volume-title":"Tech. Rep. 11\/2, FMV at JKU","author":"Biere"},{"issue":"4040","key":"ref12","article-title":"The AIGER And-Inverter Graph (AIG) format version 20071012","volume-title":"Tech. Rep. 07\/1, FMV at JKU","author":"Biere"},{"key":"ref13","article-title":"On incremental satisfiability and bounded model checking","author":"Wieringa","year":"2011","journal-title":"DIFTS@FMCAD"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0196-8858(85)90002-8"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3675168"},{"key":"ref16","article-title":"Combining VSIDS and CHB Using Restarts in SAT","author":"Cherif","year":"2021","journal-title":"CP"},{"key":"ref17","article-title":"Rotting bandits","volume":"30","author":"Levine","year":"2017","journal-title":"NIPS"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.2307\/1427934"}],"event":{"name":"2025 IEEE Computer Society Annual Symposium on VLSI (ISVLSI)","start":{"date-parts":[[2025,7,6]]},"location":"Kalamata, Greece","end":{"date-parts":[[2025,7,9]]}},"container-title":["2025 IEEE Computer Society Annual Symposium on VLSI (ISVLSI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11129697\/11130193\/11130348.pdf?arnumber=11130348","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,28]],"date-time":"2025-08-28T04:33:22Z","timestamp":1756355602000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11130348\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,6]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/isvlsi65124.2025.11130348","relation":{},"subject":[],"published":{"date-parts":[[2025,7,6]]}}}