{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:24:43Z","timestamp":1729610683106,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hldvt.2005.1568829","type":"proceedings-article","created":{"date-parts":[[2006,1,18]],"date-time":"2006-01-18T18:42:54Z","timestamp":1137609774000},"page":"145-152","source":"Crossref","is-referenced-by-count":1,"title":["Overlap reduction in symbolic system traversal"],"prefix":"10.1109","author":[{"given":"P.M.","family":"Peranandam","sequence":"first","affiliation":[]},{"given":"P.K.","family":"Nalla","sequence":"additional","affiliation":[]},{"given":"R.J.","family":"Weiss","sequence":"additional","affiliation":[]},{"given":"J.","family":"Ruf","sequence":"additional","affiliation":[]},{"given":"T.","family":"Kropf","sequence":"additional","affiliation":[]},{"given":"W.","family":"Rosenstiel","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0143-z"},{"key":"17","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1145\/277044.277168","article-title":"Approximation and decomposition of binary decision diagrams","author":"ravi","year":"1998","journal-title":"Proceedings 1998 Design and Automation Conference 35th DAC (Cat No 98CH36175) DAC"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.10.017"},{"key":"15","article-title":"Partitioned BDDs vs. other BDD models","author":"bollig","year":"1997","journal-title":"ACM\/IEEE International Workshop on Logic Synthesis"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1995.480006"},{"year":"0","key":"13"},{"year":"0","key":"14"},{"year":"0","key":"11"},{"year":"0","key":"12"},{"year":"0","key":"21"},{"year":"0","key":"20"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.10.019"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-002-0093-2"},{"year":"0","key":"24"},{"key":"25","article-title":"Parallel and symbolic model checking for rixpoint logic with Chop","author":"lange","year":"2004","journal-title":"Electronic Notes in Theoretical Computer Science"},{"journal-title":"Property Specification Language (PSL) Version 1 1","year":"2004","key":"26"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2001.915111"},{"key":"28","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1145\/127601.127702","article-title":"Representing circuits more efficiently in symbolic model checking","author":"burch","year":"1991","journal-title":"28th ACM\/IEEE Design Automation Conference DAC"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2004.1431223"},{"key":"3","doi-asserted-by":"crossref","DOI":"10.1016\/S0065-2458(03)58003-2","article-title":"Bounded model checking","volume":"58","author":"biere","year":"2003","journal-title":"ser Advances in Computers"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"},{"year":"0","key":"10"},{"year":"0","key":"30"},{"key":"7","article-title":"Bounded property checking with symbolic simulation","author":"ruf","year":"2003","journal-title":"Forum on Specification and Design Languages 2003"},{"year":"0","key":"6"},{"journal-title":"Proceedings of ICCAD 1996","year":"1996","key":"32"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1997.597241"},{"year":"0","key":"4"},{"journal-title":"ser Electronic Notes in Theoretical Computer Science","article-title":"Proceedings of PDMC 2004","year":"2004","key":"31"},{"year":"0","key":"9"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"8"}],"event":{"name":"Tenth IEEE International High-Level Design Validation and Test Workshop, 2005.","location":"Napa Valley, CA, USA"},"container-title":["Tenth IEEE International High-Level Design Validation and Test Workshop, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10490\/33246\/01568829.pdf?arnumber=1568829","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T22:30:12Z","timestamp":1497652212000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1568829\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2005.1568829","relation":{},"subject":[]}}