{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T02:46:11Z","timestamp":1776393971756,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540240877","type":"print"},{"value":"9783540305026","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30502-6_35","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T22:22:20Z","timestamp":1294438940000},"page":"483-493","source":"Crossref","is-referenced-by-count":2,"title":["On the BDD of a Random Boolean Function"],"prefix":"10.1007","author":[{"given":"Jean","family":"Vuillemin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fred\u00e9ric","family":"B\u00e9al","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"8","key":"35_CR1","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Trans. on Computers\u00a035(8), 677\u2013691 (1986)","journal-title":"IEEE Trans. on Computers"},{"key":"35_CR2","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"R.E. Bryant","year":"1992","unstructured":"Bryant, R.E.: Symbolic boolean manipulations with ordered binary decision diagrams. ACM Comp. Surveys\u00a024, 293\u2013318 (1992)","journal-title":"ACM Comp. Surveys"},{"key":"35_CR3","doi-asserted-by":"crossref","unstructured":"Bryant, R.E., Chen, Y.-A.: Verification of arithmetic functions with binary moment diagrams. In: Design Automation Conf., pp. 535\u2013541 (1995)","DOI":"10.21236\/ADA281028"},{"key":"35_CR4","first-page":"31","volume":"21","author":"H. Delange","year":"1975","unstructured":"Delange, H.: Sur la fonction sommatoire de la fonction somme des chiffres. Enseignement Math\u2019ematique\u00a021, 31\u201347 (1975)","journal-title":"Enseignement Math\u2019ematique"},{"key":"35_CR5","unstructured":"Gr\u0151pl, C.: Binary Decision Diagrams for Random Boolean Functions, Dissertation, Humboldt University, Berlin, 126 p. (1999)"},{"key":"35_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/BFb0028565","volume-title":"STACS 98","author":"C. Gr\u0151pl","year":"1998","unstructured":"Gr\u0151pl, C., Pr\u0151mel, H.J., Srivastav, A.: Size and structure of random ordered binary decision diagrams. In: Meinel, C., Morvan, M. (eds.) STACS 1998. LNCS, vol.\u00a01373, pp. 238\u2013248. Springer, Heidelberg (1998)"},{"key":"35_CR7","doi-asserted-by":"publisher","first-page":"1227","DOI":"10.1109\/18.850665","volume":"46","author":"J.C. Kiefer","year":"2000","unstructured":"Kiefer, J.C., Yang, E., Nelson, G.J., Cosman, P.: Universal lossless compression via multilevel pattern matching. IEEE Transactions on Information Theory\u00a046, 1227\u20131245 (2000)","journal-title":"IEEE Transactions on Information Theory"},{"key":"35_CR8","volume-title":"The Art of Computer Programming, vol. 3, Sorting and Searching","author":"D.E. Knuth","year":"1971","unstructured":"Knuth, D.E.: The Art of Computer Programming, vol. 3, Sorting and Searching. Addison-Wesley, Reading (1971)"},{"key":"35_CR9","unstructured":"MapleSoft. Maple 9 Guide. Waterloo Maple Inc. (2003)"},{"key":"35_CR10","volume-title":"The Complexity of Boolean Functions","author":"I. Wegener","year":"1987","unstructured":"Wegener, I.: The Complexity of Boolean Functions. John Wiley and Sons Ltd., Chichester (1987)"}],"container-title":["Lecture Notes in Computer Science","Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30502-6_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:58:00Z","timestamp":1605761880000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30502-6_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540240877","9783540305026"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30502-6_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}