{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T13:55:32Z","timestamp":1779198932062,"version":"3.51.4"},"reference-count":28,"publisher":"World Scientific Pub Co Pte Ltd","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J CIRCUIT SYST COMP"],"published-print":{"date-parts":[[2009,5]]},"abstract":"<jats:p> We propose faster-computing methods for the minimization algorithm of AND\u2013EXOR expressions, or exclusive-or sum-of-products expressions (ESOPs), and obtain the exact minimum ESOPs of benchmark functions. These methods improve the search procedure for ESOPs, which is the most time-consuming part of the original algorithm. For faster computation, the search space for ESOPs is reduced by checking the upper and lower bounds on the size of ESOPs. Experimental results to demonstrate the effectiveness of these methods are presented. The exact minimum ESOPs of many practical benchmark functions have been revealed by this improved algorithm. <\/jats:p>","DOI":"10.1142\/s0218126609005356","type":"journal-article","created":{"date-parts":[[2009,5,12]],"date-time":"2009-05-12T10:31:50Z","timestamp":1242124310000},"page":"465-486","source":"Crossref","is-referenced-by-count":13,"title":["EXACT MINIMIZATION OF AND\u2013EXOR EXPRESSIONS OF PRACTICAL BENCHMARK FUNCTIONS"],"prefix":"10.1142","volume":"18","author":[{"given":"TAKASHI","family":"HIRAYAMA","sequence":"first","affiliation":[{"name":"Department of Computer and Information Sciences, Iwate University, 4-3-5 Ueda, Morioka, Iwate 020-8551, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"YASUAKI","family":"NISHITANI","sequence":"additional","affiliation":[{"name":"Department of Computer and Information Sciences, Iwate University, 4-3-5 Ueda, Morioka, Iwate 020-8551, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf1","first-page":"1278","volume":"82","author":"Hirayama T.","journal-title":"IEICE Trans. Inf. Syst."},{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1109\/12.841130"},{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1972.223475"},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.1109\/12.600830"},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1109\/43.594831"},{"key":"rf6","first-page":"1001","volume":"80","author":"Debnath D.","journal-title":"IEICE Trans. Inf. Syst."},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126699000086"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1109\/12.754996"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1109\/12.45212"},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.12.026"},{"key":"rf12","first-page":"983","volume":"42","author":"Hirayama T.","journal-title":"Trans. IPS Jpn."},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-1385-4_2"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1109\/12.223676"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.1676890"},{"key":"rf17","first-page":"1742","volume":"80","author":"Ye Y.","journal-title":"IEICE Trans. Fundam."},{"key":"rf18","doi-asserted-by":"publisher","DOI":"10.1109\/43.277608"},{"key":"rf19","doi-asserted-by":"publisher","DOI":"10.1109\/43.494702"},{"key":"rf23","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126604001295"},{"key":"rf24","first-page":"2708","volume":"85","author":"Hirayama T.","journal-title":"IEICE Trans. Fundam."},{"key":"rf25","first-page":"475","volume":"77","author":"Nishitani Y.","journal-title":"IEICE Trans. Fundam."},{"key":"rf26","first-page":"409","volume":"78","author":"Hirayama T.","journal-title":"IEICE Trans. Inf. Syst. D-I"},{"key":"rf27","first-page":"765","volume":"74","author":"Koda N.","journal-title":"IEICE Trans. Inf. Syst. D-I"},{"key":"rf29","first-page":"43","volume":"79","author":"Koda N.","journal-title":"IEICE Trans. Inf. Syst. D-I"},{"key":"rf32","first-page":"71","volume":"21","author":"Sasao T.","journal-title":"IEEE Trans. Comput."},{"key":"rf33","doi-asserted-by":"publisher","DOI":"10.1109\/PGEC.1967.264777"},{"key":"rf34","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2007.01.003"},{"key":"rf36","first-page":"17","volume":"28","author":"Bioul G.","journal-title":"Philips Res. Repts."},{"key":"rf38","first-page":"1226","volume":"87","author":"Stergiou S.","journal-title":"IEICE Trans. Fundam."}],"container-title":["Journal of Circuits, Systems and Computers"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218126609005356","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T03:53:48Z","timestamp":1565150028000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218126609005356"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5]]},"references-count":28,"journal-issue":{"issue":"03","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2009,5]]}},"alternative-id":["10.1142\/S0218126609005356"],"URL":"https:\/\/doi.org\/10.1142\/s0218126609005356","relation":{},"ISSN":["0218-1266","1793-6454"],"issn-type":[{"value":"0218-1266","type":"print"},{"value":"1793-6454","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,5]]}}}