{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T13:55:31Z","timestamp":1779198931753,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642020162","type":"print"},{"value":"9783642020179","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02017-9_33","type":"book-chapter","created":{"date-parts":[[2009,5,11]],"date-time":"2009-05-11T15:38:06Z","timestamp":1242056286000},"page":"301-310","source":"Crossref","is-referenced-by-count":1,"title":["Minimizing AND-EXOR Expressions for Multiple-Valued Two-Input Logic Functions"],"prefix":"10.1007","author":[{"given":"Takaaki","family":"Mizuki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hitoshi","family":"Tsubata","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takao","family":"Nishizeki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"33_CR1","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1109\/TC.1987.1676890","volume":"36","author":"H. Fleisher","year":"1987","unstructured":"Fleisher, H., Tavel, M., Yeager, J.: A computer algorithm for minimizing Reed-Muller canonical forms. IEEE Transactions on Computers\u00a036(2), 247\u2013250 (1987)","journal-title":"IEEE Transactions on Computers"},{"key":"33_CR2","unstructured":"Gaidukov, A.: Algorithm to derive minimum ESOP for 6-variable function. In: Proceedings of the Fifth International Workshop on Boolean Problems, Freiberg (2002)"},{"issue":"12","key":"33_CR3","first-page":"2708","volume":"85","author":"T. Hirayama","year":"2002","unstructured":"Hirayama, T., Nishitani, Y., Sato, T.: A faster algorithm of minimizing AND-EXOR expressions. IEICE Trans. Fundamentals\u00a0E85-A(12), 2708\u20132714 (2002)","journal-title":"IEICE Trans. Fundamentals"},{"issue":"2","key":"33_CR4","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1142\/S0218126607003605","volume":"16","author":"T. Mizuki","year":"2007","unstructured":"Mizuki, T., Otagiri, T., Sone, H.: An application of ESOP expressions to secure computations. Journal of Circuits, Systems, and Computers\u00a016(2), 191\u2013198 (2007)","journal-title":"Journal of Circuits, Systems, and Computers"},{"issue":"5","key":"33_CR5","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1109\/43.277608","volume":"12","author":"T. Sasao","year":"1993","unstructured":"Sasao, T.: EXMIN2: a simplification algorithm for exclusive-or sum-of-products expressions for multiple-valued-input two-valued-output functions. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems\u00a012(5), 621\u2013632 (1993)","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"33_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5139-3","volume-title":"Switching Theory for Logic Synthesis","author":"T. Sasao","year":"1999","unstructured":"Sasao, T.: Switching Theory for Logic Synthesis. Kluwer Academic Publishers, Boston (1999)"},{"issue":"2","key":"33_CR7","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1109\/12.45212","volume":"39","author":"T. Sasao","year":"1990","unstructured":"Sasao, T., Besslich, P.: On the complexity of mod-2 sum PLA\u2019s. IEEE Transactions on Computers\u00a039(2), 262\u2013266 (1990)","journal-title":"IEEE Transactions on Computers"},{"issue":"4","key":"33_CR8","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1109\/43.494702","volume":"15","author":"N. Song","year":"1996","unstructured":"Song, N., Perkowski, M.A.: Minimization of exclusive sum-of-products expressions for multiple-valued input, incompletely specified functions. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems\u00a015(4), 385\u2013395 (1996)","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"issue":"1","key":"33_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1142\/S0218126604001295","volume":"13","author":"S. Stergiou","year":"2004","unstructured":"Stergiou, S., Papakonstantinou, G.: Exact minimization of ESOP expressions with less than eight product terms. Journal of Circuits, Systems and Computers\u00a013(1), 1\u201315 (2004)","journal-title":"Journal of Circuits, Systems and Computers"},{"key":"33_CR10","first-page":"1226","volume":"5","author":"S. Stergiou","year":"2004","unstructured":"Stergiou, S., Voudouris, D., Papakonstantinou, G.: Multiple-value exclusive-or sum-of-products minimization algorithms. IEICE Trans. Fundamentals\u00a0E87-A(5), 1226\u20131234 (2004)","journal-title":"IEICE Trans. Fundamentals"},{"key":"33_CR11","first-page":"1742","volume":"10","author":"Y. Ye","year":"1997","unstructured":"Ye, Y., Roy, K.: An XOR-based decomposition diagram and its application in synthesis of AND\/XOR networks. IEICE Trans. Fundamentals\u00a0E80-A(10), 1742\u20131748 (1997)","journal-title":"IEICE Trans. Fundamentals"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Models of Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02017-9_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T10:17:30Z","timestamp":1619777850000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02017-9_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642020162","9783642020179"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02017-9_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}