{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:43:59Z","timestamp":1725565439764},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642156748"},{"type":"electronic","value":"9783642156755"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15675-5_23","type":"book-chapter","created":{"date-parts":[[2010,9,13]],"date-time":"2010-09-13T04:07:17Z","timestamp":1284350837000},"page":"260-272","source":"Crossref","is-referenced-by-count":3,"title":["Preprocessing Boolean Formulae for BDDs in a Probabilistic Context"],"prefix":"10.1007","author":[{"given":"Theofrastos","family":"Mantadelis","sequence":"first","affiliation":[]},{"given":"Ricardo","family":"Rocha","sequence":"additional","affiliation":[]},{"given":"Angelika","family":"Kimmig","sequence":"additional","affiliation":[]},{"given":"Gerda","family":"Janssens","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Probabilistic Inductive Logic Programming","year":"2008","unstructured":"De Raedt, L., Frasconi, P., Kersting, K., Muggleton, S. (eds.): Probabilistic Inductive Logic Programming. LNCS (LNAI), vol.\u00a04911. Springer, Heidelberg (2008)"},{"volume-title":"Statistical Relational Learning","year":"2007","key":"23_CR2","unstructured":"Getoor, L., Taskar, B. (eds.): Statistical Relational Learning. The MIT press, Cambridge (2007)"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Sato, T.: A statistical learning method for logic programs with distribution semantics. In: Proceedings of ICLP, pp. 715\u2013729 (1995)","DOI":"10.7551\/mitpress\/4298.003.0069"},{"key":"23_CR4","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1613\/jair.912","volume":"15","author":"T. Sato","year":"2001","unstructured":"Sato, T., Kameya, Y.: Parameter learning of logic programs for symbolic-statistical modeling. JAIR\u00a015, 391\u2013454 (2001)","journal-title":"JAIR"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Poole, D.: The independent choice logic and beyond. In: [1], pp. 222\u2013243","DOI":"10.1007\/978-3-540-78652-8_8"},{"key":"23_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-540-89982-2_22","volume-title":"Logic Programming","author":"A. Kimmig","year":"2008","unstructured":"Kimmig, A., Santos Costa, V., Rocha, R., Demoen, B., De Raedt, L.: On the efficient execution of ProbLog programs. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 175\u2013189. Springer, Heidelberg (2008)"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Rauzy, A., Ch $\\hat{a}$ telet, E., Dutuit, Y., B\u00e9renguer, C.: A practical comparison of methods to assess sum-of-products. Reliab. Eng. Syst. Safe 79(1), 33 \u2013 42 (2003)","DOI":"10.1016\/S0951-8320(02)00165-5"},{"issue":"3","key":"23_CR8","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1137\/0208032","volume":"8","author":"L.G. Valiant","year":"1979","unstructured":"Valiant, L.G.: The complexity of enumeration and reliability problems. SIAM Journal on Computing\u00a08(3), 410\u2013421 (1979)","journal-title":"SIAM Journal on Computing"},{"issue":"8","key":"23_CR9","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. Computers\u00a035(8), 677\u2013691 (1986)","journal-title":"IEEE Trans. Computers"},{"key":"23_CR10","unstructured":"Panda, S., Somenzi, F.: Who are the variables in your neighborhood. In: Proceedings of ICCAD 1995, pp. 74\u201377 (1995)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15675-5_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,30]],"date-time":"2024-03-30T09:25:21Z","timestamp":1711790721000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15675-5_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156748","9783642156755"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15675-5_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}