{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T05:18:55Z","timestamp":1736227135903,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540628989"},{"type":"electronic","value":"9783540690412"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0031663","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T07:45:51Z","timestamp":1134287151000},"page":"916-928","source":"Crossref","is-referenced-by-count":4,"title":["Boolean function manipulation on a parallel system using BDDs"],"prefix":"10.1007","author":[{"given":"F.","family":"Bianchi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Corno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Rebaudengo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. Sonza","family":"Reorda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Ansaloni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"key":"90_CR1","doi-asserted-by":"crossref","unstructured":"P. Arunachalam, C. Chase, D. Moundanos, Distributed Binary Decision Diagrams for Verification of Large Circuits, IEEE Int. Conf. on Comp. Design, 1996, pp. 365\u2013370","DOI":"10.1109\/ICCD.1996.563580"},{"key":"90_CR2","doi-asserted-by":"crossref","unstructured":"F. Brglez, D. Bryant, K. Kozminski, Combinational profiles of sequential benchmark circuit, IEEE Int. Symp. on Circuits and Systems, 1989, pp. 1929\u20131934","DOI":"10.1109\/ISCAS.1989.100747"},{"key":"90_CR3","doi-asserted-by":"crossref","unstructured":"K. S. Brace, R. L. Rudell, R. E. Bryant, Efficient Implementation of a BDD Package, 27th ACM\/IEEE Design Automation Conference, 1990, pp. 40\u201345","DOI":"10.1145\/123186.123222"},{"key":"90_CR4","unstructured":"F. Brglez, H. Fujiwara, A neutral netlist of 10 combinational benchmark circuits and a target translator in Fortran, IEEE Int. Symp. on Circuits and Systems, 1985"},{"issue":"No.8","key":"90_CR5","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R. E. Bryant","year":"1986","unstructured":"R. E. Bryant, Graph-Based Algorithms for Boolean Functions Manipulation, IEEE Transactions on Computers, Vol. C-35, No. 8, 1986, pp. 677\u2013691","journal-title":"IEEE Transactions on Computers"},{"issue":"No.3","key":"90_CR6","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"R. E. Bryant","year":"1992","unstructured":"R. E. Bryant, Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams, ACM Computing Surveys, Vol. 24, No. 3, 1992, pp. 293\u2013318","journal-title":"ACM Computing Surveys"},{"key":"90_CR7","doi-asserted-by":"crossref","unstructured":"G. Cabodi, S. Gai, M. Rebaudengo, M. Sonza Reorda, A Data-Parallel Approach to Boolean Function Manipulation using BDDs, IEEE\/Euromicro Conf. on Massively Parallel Comp. System, 1994, pp. 163\u2013175","DOI":"10.1109\/MPCS.1994.367081"},{"key":"90_CR8","doi-asserted-by":"crossref","unstructured":"G. Cabodi, S. Gai, M. Sonza Reorda, Boolean Function Manipulation on Massively Computers, 4th IEEE Symposium on the Frontiers of Massively Parallel Computation, 1992, pp. 508\u2013509","DOI":"10.1109\/FMPC.1992.234869"},{"key":"90_CR9","unstructured":"F. Corno, P. Prinetto, M. Sonza Reorda, Finding the Maximum clique in a Graph using BDDs, IEEE Int. Conf. on VLSI and CAD, 1993, pp. 269\u2013272"},{"key":"90_CR10","doi-asserted-by":"crossref","unstructured":"S. Gai, M. Rebaudengo, M. Sonza Reorda, A Data Parallel Algorithm for Boolean Function Manipulation, 5th IEEE Symposium on The Frontiers of Massively Parallel Computation, 1995, pp. 28\u201334","DOI":"10.1109\/FMPC.1995.380467"},{"key":"90_CR11","doi-asserted-by":"crossref","unstructured":"S. Kimura, E.M. Clarke, A Parallel Algorithm for Constructing Binary Decision Diagrams, IEEE Int. Conf. on Comp. Design, 1990, pp. 220\u2013223","DOI":"10.1109\/ICCD.1990.130209"},{"key":"90_CR12","doi-asserted-by":"crossref","unstructured":"H. Ochi, N. Ishiura, S. Yajima, Breadth-first Manipulation of SBDD of Boolean Functions for Vector Processing, 28th ACM\/IEEE Design Automation Conference, 1991, pp. 413\u2013416","DOI":"10.1145\/127601.127704"}],"container-title":["Lecture Notes in Computer Science","High-Performance Computing and Networking"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0031663","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T12:16:13Z","timestamp":1736165773000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0031663"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540628989","9783540690412"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0031663","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}