{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T18:36:51Z","timestamp":1730313411730,"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":[[2006,4,30]]},"DOI":"10.1145\/1127908.1127949","type":"proceedings-article","created":{"date-parts":[[2006,5,8]],"date-time":"2006-05-08T21:40:43Z","timestamp":1147124443000},"page":"169-172","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["On finding the minimum test set of a BDD-based circuit"],"prefix":"10.1145","author":[{"given":"Gopal","family":"Paul","sequence":"first","affiliation":[{"name":"Indian Institute of Technology, Kharagpur, India"}]},{"given":"Ajit","family":"Pal","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology, Kharagpur, India"}]},{"given":"Bhargab B.","family":"Bhattacharya","sequence":"additional","affiliation":[{"name":"Indian Statistical Institute, Kolkata, India"}]}],"member":"320","published-online":{"date-parts":[[2006,4,30]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1978","article-title":"Binary decision diagrams","author":"Akers S. B","unstructured":"Akers , S. B . Binary decision diagrams . IEEE Trans. Computers , C -27(6), 1978 , 509--516. Akers, S. B. Binary decision diagrams. IEEE Trans. Computers, C-27(6), 1978, 509--516.","journal-title":"IEEE Trans. Computers"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1383-7621(00)00027-8"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2004.823342"},{"key":"e_1_3_2_1_5_1","volume-title":"Advanced BDD Optimization","author":"Ebendt R.","year":"2000","unstructured":"Ebendt , R. , Fey , G. , and Drechsler , R . Advanced BDD Optimization . Springer Verlag , Berlin , 2000 . Ebendt, R., Fey, G., and Drechsler, R. Advanced BDD Optimization. Springer Verlag, Berlin, 2000."},{"key":"e_1_3_2_1_6_1","volume-title":"UC Berkeley","author":"Hochbaum D.","year":"2003","unstructured":"Hochbaum , D. Graph Algorithms and Network Flows. IEOR 266 Notes , UC Berkeley , 2003 . Hochbaum, D. Graph Algorithms and Network Flows. IEOR 266 Notes, UC Berkeley, 2003."},{"key":"e_1_3_2_1_7_1","unstructured":"RELAX-IV: A Faster Version of the RELAX Code for Solving Minimum Cost Flow Problems (Bertsekas D.P. and Tseng P.) Rutgers U. RELAX-IV: A Faster Version of the RELAX Code for Solving Minimum Cost Flow Problems (Bertsekas D.P. and Tseng P.) Rutgers U."},{"key":"e_1_3_2_1_8_1","unstructured":"Somenzi F. CUDD: CU Decision Diagram Package. http:\/\/bessie.colorado.edu\/~fabio\/ CUDD. Somenzi F. CUDD: CU Decision Diagram Package. http:\/\/bessie.colorado.edu\/~fabio\/ CUDD."},{"key":"e_1_3_2_1_9_1","volume-title":"Digital System Testing and Testable Design","author":"Abramovici M.","year":"1990","unstructured":"Abramovici , M. , Breuer , M. A. , and Friedman , A. D . Digital System Testing and Testable Design . Computer Science Press , New York , 1990 . Abramovici, M., Breuer, M. A., and Friedman, A. D. Digital System Testing and Testable Design. Computer Science Press, New York, 1990."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.2307\/1969503"},{"key":"e_1_3_2_1_11_1","volume-title":"Algorithmic Graph Theory and Perfect Graphs","author":"Golumbic M. C.","year":"1980","unstructured":"Golumbic , M. C. Algorithmic Graph Theory and Perfect Graphs . Academic Press , 1980 . Golumbic, M. C. Algorithmic Graph Theory and Perfect Graphs. Academic Press, 1980."},{"key":"e_1_3_2_1_12_1","first-page":"740","article-title":"Maximum independent sets on transitive graphs and their applications in testing and CAD","volume":"736","author":"Kagaris D.","year":"1997","unstructured":"Kagaris , D. , and Tragoudas , S . Maximum independent sets on transitive graphs and their applications in testing and CAD . In Proc. ICCAD , 1997 , 736 -- 740 . Kagaris, D., and Tragoudas, S. Maximum independent sets on transitive graphs and their applications in testing and CAD. In Proc. ICCAD, 1997, 736--740.","journal-title":"Proc. ICCAD"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.22.11.1268"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/48014.61051"},{"key":"e_1_3_2_1_17_1","volume-title":"Computers and Intractability: A Guide to the Theory of NP-completeness","author":"Garey M. R.","year":"1979","unstructured":"Garey , M. R. , and Johnson , D. S . Computers and Intractability: A Guide to the Theory of NP-completeness . W. H. Freeman and Co. , USA , 1979 . Garey, M. R., and Johnson, D. S. Computers and Intractability: A Guide to the Theory of NP-completeness. W. H. Freeman and Co., USA, 1979."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/962758.963406"},{"key":"e_1_3_2_1_19_1","volume-title":"Graph Theory","author":"Harary F.","year":"1973","unstructured":"Harary , F. Graph Theory . Addison Wesley , 1973 . Harary, F. Graph Theory. Addison Wesley, 1973."}],"event":{"name":"GLSVLSI06: Great Lakes Symposium on VLSI 2006","sponsor":["ACM Association for Computing Machinery","SIGDA ACM Special Interest Group on Design Automation"],"location":"Philadelphia PA USA","acronym":"GLSVLSI06"},"container-title":["Proceedings of the 16th ACM Great Lakes symposium on VLSI"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1127908.1127949","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T17:13:24Z","timestamp":1673370804000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1127908.1127949"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,4,30]]},"references-count":17,"alternative-id":["10.1145\/1127908.1127949","10.1145\/1127908"],"URL":"https:\/\/doi.org\/10.1145\/1127908.1127949","relation":{},"subject":[],"published":{"date-parts":[[2006,4,30]]},"assertion":[{"value":"2006-04-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}