{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:15:38Z","timestamp":1759331738558},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iccad.2005.1560040","type":"proceedings-article","created":{"date-parts":[[2005,12,22]],"date-time":"2005-12-22T12:52:37Z","timestamp":1135255957000},"page":"56-63","source":"Crossref","is-referenced-by-count":4,"title":["Post-placement rewiring and rebuffering by exhaustive search for functional symmetries"],"prefix":"10.1109","author":[{"family":"Kai-hui Chang","sequence":"first","affiliation":[]},{"given":"I.L.","family":"Markov","sequence":"additional","affiliation":[]},{"given":"V.","family":"Bertacco","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"498","article-title":"Structural detection of symmetries in boolean functions","author":"wang","year":"2003","journal-title":"ICCD"},{"key":"17","first-page":"628","article-title":"Symmetry detection and dynamic variable ordering of decision diagrams","author":"panda","year":"1994","journal-title":"ICCAD"},{"key":"18","first-page":"207","article-title":"Recognizing input equivalence in digital logic","author":"wallace","year":"2001","journal-title":"IWLS"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.818371"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580161"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2000.896526"},{"journal-title":"Constructive multi-level synthesis by way of functional properties","year":"2001","author":"kravets","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/996566.996712"},{"key":"12","first-page":"502","article-title":"An extensible SAT-solver","author":"ee?n","year":"2003","journal-title":"Theory and Apps of Satisfiability Testing SAT"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1996.569635"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1996.563527"},{"key":"20","first-page":"268","article-title":"A fast graph-based alternative wiring scheme for boolean networks","author":"wu","year":"2000","journal-title":"Proceedings of the International Conference on VLSI Design"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.816218"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382639"},{"key":"10","first-page":"150","article-title":"Theory and algorithm for SPFD-based global rewiring","author":"cong","year":"2001","journal-title":"IWLS"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.819904"},{"year":"0","key":"6"},{"key":"5","first-page":"72","article-title":"Toward CAD-IP reuse: The MARCO GSRC bookshelf of fundamental CAD algorithms","author":"caldwell","year":"2002","journal-title":"IEEE Design and Test"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337549"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/12.795224"},{"key":"8","first-page":"606","article-title":"Single-pass redundancy addition and removal","author":"chang","year":"2001","journal-title":"ICCAD"}],"event":{"name":"ICCAD-2005. IEEE\/ACM International Conference on Computer-Aided Design, 2005.","location":"San Jose, CA"},"container-title":["ICCAD-2005. IEEE\/ACM International Conference on Computer-Aided Design, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10431\/33130\/01560040.pdf?arnumber=1560040","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T13:44:50Z","timestamp":1489499090000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1560040\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/iccad.2005.1560040","relation":{},"subject":[]}}