{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T17:37:10Z","timestamp":1725817030710},"publisher-location":"Cham","reference-count":7,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319156118"},{"type":"electronic","value":"9783319156125"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-15612-5_28","type":"book-chapter","created":{"date-parts":[[2015,2,23]],"date-time":"2015-02-23T04:05:18Z","timestamp":1424664318000},"page":"317-322","source":"Crossref","is-referenced-by-count":1,"title":["Superset Generation on Decision Diagrams"],"prefix":"10.1007","author":[{"given":"Takahisa","family":"Toda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shogo","family":"Takeuchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Koji","family":"Tsuda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shin-ichi","family":"Minato","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"28_CR1","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/BF02283750","volume":"16","author":"Y. Crama","year":"1988","unstructured":"Crama, Y., Hammer, P., Ibaraki, T.: Cause-effect relationships and partially defined Boolean functions. Annals of Operations Research\u00a016(1), 299\u2013325 (1988)","journal-title":"Annals of Operations Research"},{"issue":"4","key":"28_CR2","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1006\/cbmr.2000.1546","volume":"33","author":"B. Kovalerchuk","year":"2000","unstructured":"Kovalerchuk, B., Triantaphyllou, E., Ruiz, J.F., Torvik, V.I., Vityaev, E.: The reliability issue of computer-aided breast cancer diagnosis. Computers and Biomedical Research\u00a033(4), 296\u2013313 (2000)","journal-title":"Computers and Biomedical Research"},{"key":"28_CR3","unstructured":"Kovalerchuk, B., Vityaev, E., Triantaphyllou, E.: How can AI procedures become more effective for manufacturings? In: Proc. of the Artificial Intelligence and Manufacturing Research Planning Workshop, Albuquerque, New, Mexico, pp. 103\u2013111 (June 1996)"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Judson, D.: Statistical rule induction in the presence of prior information: The bayesian record linkage problem. In: Triantaphyllou, E., Felici, G. (eds.) Data Mining and Knowledge Discovery Approaches Based on Rule Induction Techniques. Massive Computing, vol.\u00a06, pp. 655\u2013694. Springer US (2006)","DOI":"10.1007\/0-387-34296-6_19"},{"key":"28_CR5","volume-title":"The Art of Computer Programming Volume 4a","author":"D.E. Knuth","year":"2011","unstructured":"Knuth, D.E.: The Art of Computer Programming Volume 4a. Addison-Wesley Professional, New Jersey (2011)"},{"key":"28_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-642-40897-7_19","volume-title":"Discovery Science","author":"T. Toda","year":"2013","unstructured":"Toda, T.: Fast compression of large-scale hypergraphs for solving combinatorial problems. In: F\u00fcrnkranz, J., H\u00fcllermeier, E., Higuchi, T. (eds.) DS 2013. LNCS, vol.\u00a08140, pp. 281\u2013293. Springer, Heidelberg (2013)"},{"key":"28_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/11527695_13","volume-title":"Theory and Applications of Satisfiability Testing","author":"J. Huang","year":"2005","unstructured":"Huang, J., Darwiche, A.: Using DPLL for efficient OBDD construction. In: Hoos, H.H., Mitchell, D.G. (eds.) SAT 2004. LNCS, vol.\u00a03542, pp. 157\u2013172. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","WALCOM: Algorithms and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15612-5_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T09:53:45Z","timestamp":1559123625000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-15612-5_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319156118","9783319156125"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15612-5_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}