{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:48:14Z","timestamp":1725630494515},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/hldvt.2004.1431235","type":"proceedings-article","created":{"date-parts":[[2008,7,18]],"date-time":"2008-07-18T11:07:52Z","timestamp":1216379272000},"page":"55-59","source":"Crossref","is-referenced-by-count":10,"title":["Variable ordering for taylor expansion diagrams"],"prefix":"10.1109","author":[{"given":"D.","family":"Gomez-Prado","sequence":"first","affiliation":[]},{"given":"Q.","family":"Ren","sequence":"additional","affiliation":[]},{"given":"S.","family":"Askar","sequence":"additional","affiliation":[]},{"given":"M.","family":"Ciesielski","sequence":"additional","affiliation":[]},{"given":"E.","family":"Boutillon","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580029"},{"key":"2","article-title":"Partial derivative","author":"weisstein","year":"0","journal-title":"From Math World A Wolfram Web Resource"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2003.1206385"},{"key":"1","first-page":"285","article-title":"Taylor expansion diagrams: A canonical representation for high-level design verification","author":"ciesielski","year":"2002","journal-title":"Proc Design Automation and Test in Europe"},{"key":"7","first-page":"628","article-title":"Symmetry detection and dynamic variable ordering of decision diagrams","author":"panda","year":"1994","journal-title":"Proceedings of the International Conference on Computer-Aided Design"},{"key":"6","first-page":"338","article-title":"Speeding up variable ordering of OBDDs","author":"meinel","year":"1997","journal-title":"Proc ICC 97"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/266021.266066"},{"key":"4","first-page":"325","article-title":"BDD minimization by linear transformation","author":"gu?nther","year":"1998","journal-title":"Great Lakes Symposium on VLSI"},{"key":"9","first-page":"47","article-title":"Symmetry based variable ordering for ROBDDs","author":"moller","year":"1994","journal-title":"IFIP Workshop on Logic and Architecture Synthesis"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1995.479994"},{"journal-title":"Taylor Expansion Diagram Versus Mathematica Evaluation by Simulation","year":"2004","author":"rian","key":"11"}],"event":{"name":"Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940)","start":{"date-parts":[[2004,11,10]]},"location":"Sonoma Valley, CA, USA","end":{"date-parts":[[2004,11,12]]}},"container-title":["Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9785\/30870\/01431235.pdf?arnumber=1431235","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T01:09:01Z","timestamp":1489540141000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1431235\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2004.1431235","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}