{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T06:48:18Z","timestamp":1763534898667},"reference-count":22,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Computer Mathematics"],"published-print":{"date-parts":[[2007,1]]},"DOI":"10.1080\/00207160601140737","type":"journal-article","created":{"date-parts":[[2007,3,30]],"date-time":"2007-03-30T11:56:51Z","timestamp":1175255811000},"page":"1-10","source":"Crossref","is-referenced-by-count":4,"title":["A purely map procedure for two-level multiple-output logic minimization"],"prefix":"10.1080","volume":"84","author":[{"given":"Ali M.","family":"Rushdi","sequence":"first","affiliation":[]},{"given":"Omar M.","family":"Ba-Rukab","sequence":"additional","affiliation":[]}],"member":"301","reference":[{"key":"CIT0001","first-page":"6","volume":"3","author":"Muller D. E.","year":"1954","journal-title":"IRE Transactions on Electronic Computers"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1109\/TEC.1961.5219148"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1147\/rd.185.0443"},{"key":"CIT0004","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-2821-6","volume-title":"Minimization Algorithms for VLSI Synthesis","author":"Brayton R. K.","year":"1984"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.1986.1270191"},{"key":"CIT0006","volume-title":"Mathematical Design","author":"Roth J. P.","year":"1999"},{"key":"CIT0007","volume-title":"Logic Design and Switching Theory","author":"Muroga S.","year":"1979"},{"key":"CIT0008","volume-title":"Introduction to Switching Theory and Logical Design,","author":"Hill F. J.","year":"1981","edition":"3"},{"key":"CIT0009","volume-title":"Logic Design Principles","author":"McCluskey E. J.","year":"1986"},{"key":"CIT0010","volume-title":"Design of Logic Systems,","author":"Douglas L.","year":"1991","edition":"2"},{"key":"CIT0011","volume-title":"Computer Aided Logical Design with Emphasis on VLSI,","author":"Hill F. J.","year":"1993","edition":"4"},{"key":"CIT0012","volume-title":"The Essence of Logic Circuits,","author":"Unger S. H.","year":"1997","edition":"2"},{"key":"CIT0013","volume-title":"Digital Design: Principles and Practice,","author":"Wakerly J. F.","year":"2001","edition":"3"},{"key":"CIT0014","volume-title":"Fundamentals of Digital Logic with Verilog Design","author":"Brown S.","year":"2003"},{"key":"CIT0015","volume-title":"Fundamentals of Logic Design,","author":"Roth C. H.","year":"2004","edition":"5"},{"key":"CIT0016","volume-title":"Discrete Mathematical Structures,","author":"Kolman B.","year":"2000","edition":"4"},{"key":"CIT0017","first-page":"327","volume-title":"Encyclopedia of Mathematics, Supplement Volume I","author":"Rushdi A. M.","year":"1997"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1080\/00207160108805094"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1080\/0020716031000112385"},{"key":"CIT0020","volume-title":"Boolean Reasoning: The Logic of Boolean Equations,","author":"Brown F. M.","year":"2003","edition":"2"},{"key":"CIT0021","first-page":"59","volume":"15","author":"Rushdi A. M.","year":"2003","journal-title":"Umm Al-Qura University Journal of Science\u2013Medicine\u2013Engineering"},{"key":"CIT0022","unstructured":"Rushdi, A. M. and Ba-Rukab, O. M. A map procedure for two-level multiple-output logic minimization. Proceedings of the 17th National Computer Conference. Al-Madinah Al-Munw'warah, Saudi Arabia. pp.517\u2013528."}],"container-title":["International Journal of Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207160601140737","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T15:52:16Z","timestamp":1497714736000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/00207160601140737"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,1]]}},"alternative-id":["10.1080\/00207160601140737"],"URL":"https:\/\/doi.org\/10.1080\/00207160601140737","relation":{},"ISSN":["0020-7160","1029-0265"],"issn-type":[{"value":"0020-7160","type":"print"},{"value":"1029-0265","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,1]]}}}