{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T22:54:52Z","timestamp":1730328892910,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2004,6,7]]},"DOI":"10.1145\/996566.996690","type":"proceedings-article","created":{"date-parts":[[2004,7,20]],"date-time":"2004-07-20T15:55:38Z","timestamp":1090338938000},"page":"434-437","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Symmetry detection for incompletely specified functions"],"prefix":"10.1145","author":[{"given":"Kuo-Hua","family":"Wang","sequence":"first","affiliation":[{"name":"Fu Jen Catholic University, Taipei, Taiwan, R.O.C."}]},{"given":"Jia-Hung","family":"Chen","sequence":"additional","affiliation":[{"name":"Fu Jen Catholic University, Taipei, Taiwan, R.O.C."}]}],"member":"320","published-online":{"date-parts":[[2004,6,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/PGEC.1963.263654"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/PGEC.1967.264726"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.75627"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.559327"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/343647.343734"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/196244.196404"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/513918.514102"},{"key":"e_1_3_2_1_8_1","first-page":"377","volume-title":"European Design Test Conf.","author":"Chang C.W.","year":"2001","unstructured":"C.W. Chang , Bo Hu , and M. Marek-Sadowska , \" In-place delay constrained power optimization using functional symmetries,\" in Proc . European Design Test Conf. , pp. 377 -- 382 , 2001 . C.W. Chang, Bo Hu, and M. Marek-Sadowska, \"In-place delay constrained power optimization using functional symmetries,\" in Proc. European Design Test Conf., pp. 377--382, 2001."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.863647"},{"key":"e_1_3_2_1_10_1","first-page":"229","volume-title":"European Design Test Conf.","author":"Scholl C.","year":"1997","unstructured":"C. Scholl , S. Melchior , G. Hotza , and P. Molitor , \" Minimizing ROBDD sizes of incompletely specified functions by exploiting strong symmetries,\" in Proc . European Design Test Conf. , Mar. 1997 , pp. 229 -- 234 . C. Scholl, S. Melchior, G. Hotza, and P. Molitor, \"Minimizing ROBDD sizes of incompletely specified functions by exploiting strong symmetries,\" in Proc. European Design Test Conf., Mar. 1997, pp. 229--234."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.743706"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.818371"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1049\/el:19981164"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.481484"},{"key":"e_1_3_2_1_16_1","first-page":"321","volume-title":"International Symposium on Cirucuit and System","volume":"2","author":"Falkowski B.J.","year":"2000","unstructured":"B.J. Falkowski and S. Kannurao , \" Skew symmetry detection using the Walsh spectral coefficients,\" in Proc . International Symposium on Cirucuit and System , 2000 , vol. 2 , pp. 321 -- 324 . B.J. Falkowski and S. Kannurao, \"Skew symmetry detection using the Walsh spectral coefficients,\" in Proc. International Symposium on Cirucuit and System, 2000, vol. 2, pp. 321--324."},{"key":"e_1_3_2_1_17_1","volume-title":"Electronics Research Laboratory, Memorandum No. UCB\/ERL M92\/41","author":"Sentovich E.M.","year":"1992","unstructured":"E.M. Sentovich , K.J. Singh , L. Lavagno , C. Moon , R. Murgai , A. Saldanha , H. Savoj , P.R. Stephan , R.K. Brayton , A. Sangiovanni-Vincentelli , \"SIS : A system for sequential circuit synthesis \", Electronics Research Laboratory, Memorandum No. UCB\/ERL M92\/41 , 4 May 1992 . E.M. Sentovich, K.J. Singh, L. Lavagno, C. Moon, R. Murgai, A. Saldanha, H. Savoj, P.R. Stephan, R.K. Brayton, A. Sangiovanni-Vincentelli, \"SIS: A system for sequential circuit synthesis\", Electronics Research Laboratory, Memorandum No. UCB\/ERL M92\/41, 4 May 1992."}],"event":{"name":"DAC04: The 41st Annual Design Automation Conference 2004","sponsor":["ACM Association for Computing Machinery","SIGDA ACM Special Interest Group on Design Automation"],"location":"San Diego CA USA","acronym":"DAC04"},"container-title":["Proceedings of the 41st annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/996566.996690","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T19:01:17Z","timestamp":1693854077000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/996566.996690"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,6,7]]},"references-count":17,"alternative-id":["10.1145\/996566.996690","10.1145\/996566"],"URL":"https:\/\/doi.org\/10.1145\/996566.996690","relation":{},"subject":[],"published":{"date-parts":[[2004,6,7]]},"assertion":[{"value":"2004-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}