{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T14:12:01Z","timestamp":1773843121534,"version":"3.50.1"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.23919\/fmcad.2019.8894265","type":"proceedings-article","created":{"date-parts":[[2019,11,13]],"date-time":"2019-11-13T04:25:06Z","timestamp":1573619106000},"page":"1-9","source":"Crossref","is-referenced-by-count":7,"title":["Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties"],"prefix":"10.23919","author":[{"given":"Rohit","family":"Dureja","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jason","family":"Baumgartner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Ivrii","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Kanzelman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kristin Y.","family":"Rozier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref31","author":"warren","year":"2012","journal-title":"Hacker’s Delight"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/321796.321811"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/3-540-36126-X_3","article-title":"Automated abstraction refinement for model checking large state spaces using sat based conflict analysis","author":"chauhan","year":"2002","journal-title":"Formal Methods in Computer-Aided Design (FMCAD)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2041846"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1162\/089120100561601"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.23919\/FMCAD.2017.8102255"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89960-2_17"},{"key":"ref15","first-page":"125","article-title":"Efficient implementation of property directed reachability","author":"een","year":"2011","journal-title":"Formal Methods in Computer-Aided Design (FMCAD)"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_1"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2006.12"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8341977"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90224-5"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2008.01.039"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.21236\/ADA360973"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30494-4_12"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1137856.1137880"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/978-3-642-14295-6_5","article-title":"ABC: An academic industrial-strength verification tool","author":"brayton","year":"2010","journal-title":"Computer Aided Verification (CAV)"},{"key":"ref29","first-page":"321","author":"rokach","year":"2005","journal-title":"CLUSTERING METHODS"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1007\/978-3-642-18275-4_7","article-title":"Sat-based model checking without unrolling","author":"bradley","year":"2011","journal-title":"Verification Model Checking and Abstract Interpretation (VMCAI)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763279"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-017-0451-8"},{"key":"ref2","author":"appleby","year":"2019","journal-title":"SMHasher & MurmurHash"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2321"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30494-4_19"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34188-5_9"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96142-2_5"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/11678779_5"},{"key":"ref24","first-page":"31","article-title":"Interpolant learning and reuse in sat-based model checking,” Electronic Notes in Theoretical Computer Science","volume":"174","author":"marques-silva","year":"2007","journal-title":"proceedings of the Fourth International Workshop on Bounded Model Checking (BMC >2006)"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.170"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.286"},{"key":"ref25","first-page":"2","article-title":"Automatic abstraction without counterexamples","author":"mcmillan","year":"2003","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS)"}],"event":{"name":"2019 Formal Methods in Computer Aided Design (FMCAD)","location":"San Jose, CA, USA","start":{"date-parts":[[2019,10,22]]},"end":{"date-parts":[[2019,10,25]]}},"container-title":["2019 Formal Methods in Computer Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8891869\/8894241\/08894265.pdf?arnumber=8894265","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T18:45:32Z","timestamp":1598208332000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8894265\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10]]},"references-count":31,"URL":"https:\/\/doi.org\/10.23919\/fmcad.2019.8894265","relation":{},"subject":[],"published":{"date-parts":[[2019,10]]}}}