{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T11:02:29Z","timestamp":1740135749237,"version":"3.37.3"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2019,7,22]],"date-time":"2019-07-22T00:00:00Z","timestamp":1563753600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,7,22]],"date-time":"2019-07-22T00:00:00Z","timestamp":1563753600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["60774007","61741307"],"award-info":[{"award-number":["60774007","61741307"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Innovation Project of Hebei","award":["CXZZBS2018032"],"award-info":[{"award-number":["CXZZBS2018032"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Circuits Syst Signal Process"],"published-print":{"date-parts":[[2020,5]]},"DOI":"10.1007\/s00034-019-01214-x","type":"journal-article","created":{"date-parts":[[2019,7,22]],"date-time":"2019-07-22T17:02:46Z","timestamp":1563814966000},"page":"2245-2271","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Karnaugh Maps of Logical Systems and Applications in Digital Circuit Design"],"prefix":"10.1007","volume":"39","author":[{"given":"Cailu","family":"Wang","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4760-0591","authenticated-orcid":false,"given":"Yuegang","family":"Tao","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,7,22]]},"reference":[{"issue":"4","key":"1214_CR1","doi-asserted-by":"publisher","first-page":"670","DOI":"10.1016\/j.jtbi.2006.09.023","volume":"244","author":"T Akutsu","year":"2007","unstructured":"T. Akutsu, M. Hayashida, W. Ching, M.K. Ng, Control of Boolean networks: hardness results and algorithms for tree structured networks. J. Theor. Biol. 244(4), 670\u2013679 (2007)","journal-title":"J. Theor. Biol."},{"key":"1214_CR2","doi-asserted-by":"crossref","unstructured":"S.M. Burns, Performance Analysis and Optimization of Asynchronous Circuits. Ph.D. Thesis, California Institute of Technology, Pasadena (1990)","DOI":"10.21236\/ADA447734"},{"key":"1214_CR3","doi-asserted-by":"publisher","first-page":"1659","DOI":"10.1016\/j.automatica.2009.03.006","volume":"45","author":"D Cheng","year":"2009","unstructured":"D. Cheng, H. Qi, Controllability and observability of Boolean control networks. Automatica 45, 1659\u20131667 (2009)","journal-title":"Automatica"},{"issue":"10","key":"1214_CR4","doi-asserted-by":"publisher","first-page":"2251","DOI":"10.1109\/TAC.2010.2043294","volume":"55","author":"D Cheng","year":"2010","unstructured":"D. Cheng, H. Qi, A linear representation of dynamics of Boolean networks. IEEE Trans. Autom. Control 55(10), 2251\u20132258 (2010)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"4","key":"1214_CR5","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1080\/026811199281967","volume":"14","author":"J Cochet-Terrasson","year":"1999","unstructured":"J. Cochet-Terrasson, S. Gaubert, J. Gunawardena, A constructive fixed point theorem for min\u2013max functions. Dyn. Stab. Syst. 14(4), 407\u2013433 (1999)","journal-title":"Dyn. Stab. Syst."},{"issue":"6","key":"1214_CR6","doi-asserted-by":"publisher","first-page":"774","DOI":"10.1080\/03772063.2016.1176541","volume":"62","author":"K Das","year":"2016","unstructured":"K. Das, D. De, M. De, Modified ternary Karnaugh map and logic synthesis in ternary quantum dot cellular automata. IETE J. Res. 62(6), 774\u2013785 (2016)","journal-title":"IETE J. Res."},{"issue":"1","key":"1214_CR7","first-page":"43","volume":"326","author":"S Gaubert","year":"1998","unstructured":"S. Gaubert, J. Gunawarden, The duality theorem for min\u2013max functions. C. R. Acad. Sci. Ser. I Math. 326(1), 43\u201348 (1998)","journal-title":"C. R. Acad. Sci. Ser. I Math."},{"key":"1214_CR8","unstructured":"J. Gunawardena, Timing analysis of digital circuits and the theory of min\u2013max functions. In: Tau93 Acm International Workshop on Timing Lssues in the Specification and Synthesis of Digital Systems (Malente 1993), pp. 1\u20139"},{"issue":"4","key":"1214_CR9","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/BF01440235","volume":"4","author":"J Gunawardena","year":"1994","unstructured":"J. Gunawardena, Min\u2013max functions. Discrete Event Dyn. Syst. Theory Appl. 4(4), 377\u2013407 (1994)","journal-title":"Discrete Event Dyn. Syst. Theory Appl."},{"key":"1214_CR10","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1186\/s40064-016-2001-3","volume":"5","author":"AW Hassan","year":"2016","unstructured":"A.W. Hassan, A.K. Hassan, A Karnaugh map based approach towards systemic reviews and meta-analysis. SpringerPlus 5, 371 (2016)","journal-title":"SpringerPlus"},{"key":"1214_CR11","doi-asserted-by":"publisher","first-page":"2525","DOI":"10.1016\/j.automatica.2013.05.004","volume":"49","author":"G Hochma","year":"2013","unstructured":"G. Hochma, M. Margaliot, E. Fornasini, M.E. Valcher, Symbolic dynamics of Boolean control networks. Automatica 49, 2525\u20132530 (2013)","journal-title":"Automatica"},{"issue":"11","key":"1214_CR12","doi-asserted-by":"publisher","first-page":"1306","DOI":"10.1109\/12.475126","volume":"44","author":"H Hulgaard","year":"1995","unstructured":"H. Hulgaard, S.M. Burns, T. Amon, G. Borriello, An algorithm for exact bounds on the time separation of events in concurrent systems. IEEE Trans. Comput. 44(11), 1306\u20131317 (1995)","journal-title":"IEEE Trans. Comput."},{"issue":"9","key":"1214_CR13","first-page":"593","volume":"72","author":"M Karnaugh","year":"1953","unstructured":"M. Karnaugh, The map method for synthesis of combinational logic circuits. Trans. Am. Inst. Electr. Eng. Part I 72(9), 593\u2013599 (1953)","journal-title":"Trans. Am. Inst. Electr. Eng. Part I"},{"issue":"3","key":"1214_CR14","first-page":"317","volume":"65","author":"M Kubica","year":"2017","unstructured":"M. Kubica, D. Kania, Decomposition of multioutput functions oriented to configurability of logic blocks. Bull. Pol. Acad. Sci. Tech. Sci. 65(3), 317\u2013331 (2017)","journal-title":"Bull. Pol. Acad. Sci. Tech. Sci."},{"key":"1214_CR15","doi-asserted-by":"crossref","unstructured":"M. Nosrati, R. Karimi, R. Aziztabar, Minimization of Boolean functions which include don\u2019t-care statements, using graph data structure, in Advances in Wireless, Mobile Networks and Applications (Heidelberg, 2011), pp. 212\u2013220","DOI":"10.1007\/978-3-642-21153-9_20"},{"issue":"2","key":"1214_CR16","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/BF01805562","volume":"1","author":"GJ Olsder","year":"1991","unstructured":"G.J. Olsder, Eigenvalues of dynamic max\u2013min systems. Discrete Event Dyn. Syst. Theory Appl. 1(2), 177\u2013207 (1991)","journal-title":"Discrete Event Dyn. Syst. Theory Appl."},{"issue":"3","key":"1214_CR17","doi-asserted-by":"publisher","first-page":"1443","DOI":"10.1007\/s00034-012-9490-2","volume":"32","author":"VC Prasad","year":"2013","unstructured":"V.C. Prasad, On Boolean techniques for non touching loops of signal flow graphs. Circuits Syst. Signal Process. 32(3), 1443\u20131453 (2013)","journal-title":"Circuits Syst. Signal Process."},{"issue":"3","key":"1214_CR18","doi-asserted-by":"publisher","first-page":"333","DOI":"10.9734\/BJMCS\/2014\/6023","volume":"4","author":"DS Rajput","year":"2014","unstructured":"D.S. Rajput, R.S. Thakur, G.S. Thakur, Karnaugh map approach for mining frequent termset from uncertain textual data. Br. J. Math. Comput. Sci. 4(3), 333\u2013346 (2014)","journal-title":"Br. J. Math. Comput. Sci."},{"key":"1214_CR19","volume-title":"Fundamentals of Logic Design","author":"CH Roth","year":"2014","unstructured":"C.H. Roth, L.L. Kinney, Fundamentals of Logic Design, seven edn. (Cengage Learning, Stamford, 2014)","edition":"seven"},{"issue":"7","key":"1214_CR20","doi-asserted-by":"publisher","first-page":"769","DOI":"10.1080\/00207210050028724","volume":"87","author":"AM Rushdi","year":"2000","unstructured":"A.M. Rushdi, H.A. Al-Yahya, A Boolean minimization procedure using the variable-entered Karnaugh map and the generalized consensus concept. Int. J. Electron. 87(7), 769\u2013794 (2000)","journal-title":"Int. J. Electron."},{"key":"1214_CR21","first-page":"3","volume":"5","author":"AM Rushdi","year":"2016","unstructured":"A.M. Rushdi, F. Ghaleb, A tutorial exposition of semi-tensor products of matrices with a stress on their representation of Boolean functions. J. King Abdulaziz Univ. 5, 3\u201341 (2016)","journal-title":"J. King Abdulaziz Univ."},{"issue":"3","key":"1214_CR22","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1109\/43.124419","volume":"11","author":"KA Sakallan","year":"1992","unstructured":"K.A. Sakallan, T.N. Mudge, O.A. Olukotun, Analysis and design of latch-controlled synchronous digital circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 11(3), 322\u2013333 (1992)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"key":"1214_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-45638-1","volume-title":"Boolean Functions with Engineering Applications and Computer Programs","author":"WG Schneeweiss","year":"1989","unstructured":"W.G. Schneeweiss, Boolean Functions with Engineering Applications and Computer Programs (Springer, London, 1989)"},{"issue":"12","key":"1214_CR24","doi-asserted-by":"publisher","first-page":"2027","DOI":"10.1109\/TAC.2005.860240","volume":"50","author":"Y Tao","year":"2005","unstructured":"Y. Tao, G.P. Liu, State feedback stabilization and majorizing achievement of min\u2013max-plus systems. IEEE Trans. Autom. Control 50(12), 2027\u20132033 (2005)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"3","key":"1214_CR25","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/s10898-007-9141-5","volume":"39","author":"Y Tao","year":"2007","unstructured":"Y. Tao, G.P. Liu, W. Chen, Globally optimal solutions of max\u2013min systems. J. Glob. Optim. 39(3), 347\u2013363 (2007)","journal-title":"J. Glob. Optim."},{"issue":"2","key":"1214_CR26","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/s00498-012-0098-7","volume":"25","author":"Y Tao","year":"2013","unstructured":"Y. Tao, G.P. Liu, X. Mu, Max-plus matrix method and cycle time assignability and feedback stabilizability for min\u2013max-plus systems. Math. Control Signals Syst. 25(2), 197\u2013229 (2013)","journal-title":"Math. Control Signals Syst."},{"issue":"4","key":"1214_CR27","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1007\/s00034-009-9096-5","volume":"28","author":"S Wisetphanichkij","year":"2009","unstructured":"S. Wisetphanichkij, K. Dejhan, The combinational and sequential adiabatic circuit design and its applications. Circuits Syst. Signal Process. 28(4), 523\u2013534 (2009)","journal-title":"Circuits Syst. Signal Process."},{"key":"1214_CR28","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1016\/j.bios.2016.02.010","volume":"80","author":"X Yu","year":"2016","unstructured":"X. Yu, W. Lian, J. Zhang, H. Liu, Multi-input and -output logic circuits based on bioelectrocatalysis with horseradish peroxidase and glucose oxidase immobilized in multi-responsive copolymer films on electrodes. Biosens. Bioelectron. 80, 631\u2013639 (2016)","journal-title":"Biosens. Bioelectron."}],"container-title":["Circuits, Systems, and Signal Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00034-019-01214-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00034-019-01214-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00034-019-01214-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,20]],"date-time":"2020-07-20T23:18:51Z","timestamp":1595287131000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00034-019-01214-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,22]]},"references-count":28,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2020,5]]}},"alternative-id":["1214"],"URL":"https:\/\/doi.org\/10.1007\/s00034-019-01214-x","relation":{},"ISSN":["0278-081X","1531-5878"],"issn-type":[{"type":"print","value":"0278-081X"},{"type":"electronic","value":"1531-5878"}],"subject":[],"published":{"date-parts":[[2019,7,22]]},"assertion":[{"value":"18 November 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 July 2019","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 July 2019","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 July 2019","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}