{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:31:56Z","timestamp":1747809116588,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1109\/iccd.2013.6657051","type":"proceedings-article","created":{"date-parts":[[2013,11,11]],"date-time":"2013-11-11T17:22:16Z","timestamp":1384190536000},"page":"257-263","source":"Crossref","is-referenced-by-count":3,"title":["Selected inversion for vectorless power grid verification by exploiting locality"],"prefix":"10.1109","author":[{"given":"Jianlei","family":"Yang","sequence":"first","affiliation":[]},{"given":"Yici","family":"Cai","sequence":"additional","affiliation":[]},{"given":"Qiang","family":"Zhou","sequence":"additional","affiliation":[]},{"given":"Wei","family":"Zhao","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"2813","article-title":"Domain-decomposition-type methods for computing the diagonal of a matrix inverse","volume":"33","author":"tand","year":"2011","journal-title":"SIAM Journal on Scientific Computing"},{"doi-asserted-by":"publisher","key":"17","DOI":"10.1145\/1645413.1645421"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1145\/1916461.1916464"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1109\/TCAD.2009.2034402"},{"year":"0","author":"davis","journal-title":"Cholmod in Suitesparse","key":"16"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1145\/1837274.1837484"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1145\/378239.379023"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1109\/DATE.2011.5763269"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1109\/TCAD.2011.2167328"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1109\/ICCAD.2006.320076"},{"year":"0","journal-title":"Gurobi Optimizer","key":"21"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1145\/1077603.1077661"},{"doi-asserted-by":"publisher","key":"20","DOI":"10.1109\/ICCAD.2004.1382626"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1145\/2024724.2024879"},{"key":"1","first-page":"99","article-title":"A static pattern-independent technique for power grid voltage integrity verification","author":"kouroussis","year":"0","journal-title":"Proc ACM\/IEEE Design Automation Conference (DAC) 2003"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/ICCAD.2010.5653904"},{"key":"6","first-page":"184","article-title":"Fast vectorless power grid verification using an approximate inverse technique","author":"ghani","year":"0","journal-title":"ACM\/IEEE Design Automation Conference (DAC) 2009"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1145\/1960397.1960435"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1109\/ICCAD.2011.6105384"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/ICCAD.2010.5654195"},{"key":"8","first-page":"163","article-title":"A multilevel H-matrix-based approximate matrix inversion algorithm for vectorless power grid verification","author":"zhao","year":"0","journal-title":"Proc 18th Asia and South Pacific Design Automation Conference (ASPDAC) 2013"}],"event":{"name":"2013 IEEE 31st International Conference on Computer Design (ICCD)","start":{"date-parts":[[2013,10,6]]},"location":"Asheville, NC, USA","end":{"date-parts":[[2013,10,9]]}},"container-title":["2013 IEEE 31st International Conference on Computer Design (ICCD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6644329\/6657009\/06657051.pdf?arnumber=6657051","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T22:11:44Z","timestamp":1490220704000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6657051\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/iccd.2013.6657051","relation":{},"subject":[],"published":{"date-parts":[[2013,10]]}}}