{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:12:44Z","timestamp":1743149564572,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319157191"},{"type":"electronic","value":"9783319157207"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-15720-7_2","type":"book-chapter","created":{"date-parts":[[2015,3,10]],"date-time":"2015-03-10T07:01:01Z","timestamp":1425970861000},"page":"17-31","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Alternative Approaches for Fast Boolean Calculations Using the GPU"],"prefix":"10.1007","author":[{"given":"Bernd","family":"Steinbach","sequence":"first","affiliation":[]},{"given":"Matthias","family":"Werner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,3,11]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","unstructured":"Amdahl, G.M.: Validity of the single processor approach to achieving large scale computing capabilities. In: Proceedings of the April 18\u201320, 1967, Spring Joint Computer Conference, pp. 483\u2013485. AMC, New York (1967). doi:10.1145\/1465482.1465560","DOI":"10.1145\/1465482.1465560"},{"key":"2_CR2","doi-asserted-by":"publisher","unstructured":"Borowik, G.: Data mining approach for decision and classification systems using logic synthesis algorithms. In: Klempous, R., Nikodem, J., Jacak, W., Chaczko, Z. (eds.) Proceedings of the Advanced Methods and Applications in Computational Intelligence, Springer International Publishing. pp. 3\u201323, ISBN: 9783319014357. (2014). doi:10.1007\/978-3-319-01436-4_1","DOI":"10.1007\/978-3-319-01436-4_1"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Cordone, R., Ferrandi, F., Sciuto, D., Wolfler Calvo, R.: An efficient heuristic approach to solve the unate covering problem. In: Proceedings of the Conference on Design, Automation and Test in Europe, Paris, France, pp. 364\u2013371 (2000)","DOI":"10.1145\/343647.343799"},{"key":"2_CR4","unstructured":"Farber, R.: CUDA Application Design and Development. pp. 1\u2013336, Elsevier LTD, Oxford (2011). ISBN 0123884268"},{"key":"2_CR5","doi-asserted-by":"publisher","unstructured":"Flynn, M.J.: Some computer organizations and their effectiveness. In: IEEE Transactions Computer, vol. 21(9), IEEE Computer Society, Washington, DC, USA, ISSN 0018\u20139340, pp. 948\u2013960 (1972). doi:10.1109\/TC.1972.5009071","DOI":"10.1109\/TC.1972.5009071"},{"key":"2_CR6","unstructured":"Gaster, B., Howes, L., Kaeli, D.R., Mistry, P., Schaa, D.: Heterogeneous Computing with OpenCL. Elsevier Science and Technology, pp. 1\u2013296, ISBN 978-0123877666. (2011)"},{"key":"2_CR7","unstructured":"Grehl, S.: Vergleich von Implementierungen des Unate Covering Problems mit OpenCL und CUDA. Freiberg University of Mining and Technology, Project-Thesis (2013)"},{"key":"2_CR8","unstructured":"Paul, E., Steinbach, B., and Perkowski, M.: Application of CUDA in the Boolean domain for the unate covering problem. In: Steinbach, B. (ed.) Boolean Problems, Proceedings of the 9th International Workshops on Boolean Problems, Freiberg University of Mining and Technology, Freiberg, 16\u201317 September 2010, pp. 133\u2013142 (2010). ISBN 978-3-86012-404-8"},{"key":"2_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-2938-7","volume-title":"Logic Functions and Equations\u2014Binary Models for Computer Science","author":"Ch Posthoff","year":"2004","unstructured":"Posthoff, Ch., Steinbach, B.: Logic Functions and Equations\u2014Binary Models for Computer Science. Springer, Dordrecht, The Netherlands (2004)"},{"key":"2_CR10","unstructured":"Steinbach, B., Posthoff, Ch.: An Extended Theory of Boolean Normal Forms. In: Proceedings of the 6th Annual Hawaii International Conference on Statistics, Mathematics and Related Fields, Honolulu, Hawaii, pp. 1124\u20131139 (2007)"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Steinbach, B., Posthoff, Ch.: Boolean differential calculus-theory and applications. In: Journal of Computational and Theoretical Nanoscience, American Scientific Publishers, Valencia, California, USA, ISSN 1546\u20131955, vol. 7, no. 6, pp. 933\u2013981 (2010)","DOI":"10.1166\/jctn.2010.1441"},{"key":"2_CR12","unstructured":"Steinbach, B., Werner, M.: Fast boolean calculations using the GPU. In: Chaczko, Z., Gaol, F.L., Chiu C. (eds.) Proceedings of the 2nd Asia-Pacific Conference on Computer Aided System Engineering APCASE 2014, Book of Extended Abstracts, Bali Dynasty Resort, Bali, Indonesia, 10\u201312, pp. 86\u201389, ISBN 978-0-9924518-0-6 February 2014"},{"key":"2_CR13","doi-asserted-by":"publisher","unstructured":"Steinbach, B. and Posthoff, Ch.: Fast calculation of exact minimal unate coverings on both the CPU and the GPU. In: Roberto Moreno-D\u00edaz, Franz Pichler und Alexis Quesada-Arencibia: Proceedings of the Computer Aided Systems Theory\u2014EUROCAST 2013, 14th International Conference, Las Palmas de Gran Canaria, Spain, February 2013, Revised Selected Papers, Part II, Lecture Notes in Computer Science vol. 8112, Springer, pp. 234\u2013241, ISBN: 978-1-612-08292-9, (2013). doi:10.1007\/978-3-642-53862-9_30","DOI":"10.1007\/978-3-642-53862-9_30"},{"key":"2_CR14","doi-asserted-by":"publisher","unstructured":"Steinbach, B. and Posthoff, Ch.: Improvements of the construction of exact minimal covers of boolean functions. In: Roberto Moreno-D\u00edaz, Franz Pichler und Alexis Quesada-Arencibia: Proceedings of the Computer Aided Systems Theory\u2014EUROCAST 2011, 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6\u201311, 2011, Revised Selected Papers, Part II, Lecture Notes in Computer Science Volume 6928, Springer, pp. 272\u2013279, ISBN: 978-3-642-27578-4, (2012). doi:10.1007\/978-3-642-27579-1_35","DOI":"10.1007\/978-3-642-27579-1_35"},{"key":"2_CR15","unstructured":"Steinbach, B., Posthoff, Ch.: Logic Functions and Equations-Examples and Exercises. Springer Science + Business Media B.V. (2009)"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Steinbach, B., Posthoff, Ch.: Parallel Solution of Covering Problems\u2014 Super-Linear Speedup on a Small Set of Cores. GSTF International Journal on Computing, Global Science and Technology Forum (GSTF), Singapore, ISSN: 2010\u20132283, vol. 1, No. 2, pp. 113\u2013122 (2011)","DOI":"10.5176\/2010-2283_1.2.48"},{"key":"2_CR17","unstructured":"Steinbach, B., Posthoff, Ch.: Sources and obstacles for parallelization \u2014a comprehensive exploration of the unate covering problem using both CPU and GPU. In: Astola, J., Kameyama, M., Lukac M., and Stankovi R. S. (eds.): GPU Computing with Applications in Digital Logic. Tampere International Center for Signal Processing. TICSP series # 62, Tampere 2012, pp. 63\u201396, ISBN 978-952-15-2920-7, ISSN 1456-2774"},{"key":"2_CR18","unstructured":"Werner, M.: Parallelisierung von XBOOLE-Operationen mit CUDA. Freiberg University of Mining and Technology, Master-Thesis (2014)"},{"key":"2_CR19","unstructured":"Wilt, N.: The CUDA Handbook: A Comprehensive Guide to GPU Programming. ISBN: 9780133261509, Pearson Education (2013)"}],"container-title":["Studies in Computational Intelligence","Computational Intelligence and Efficiency in Engineering Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15720-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T22:06:21Z","timestamp":1676930781000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-15720-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319157191","9783319157207"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15720-7_2","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"11 March 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}