{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T05:21:15Z","timestamp":1740028875857,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634652"},{"type":"electronic","value":"9783540695578"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63465-7_225","type":"book-chapter","created":{"date-parts":[[2010,4,5]],"date-time":"2010-04-05T19:22:48Z","timestamp":1270495368000},"page":"203-212","source":"Crossref","is-referenced-by-count":0,"title":["Technology mapping by binate covering"],"prefix":"10.1007","author":[{"given":"Michal Z.","family":"Serv\u00edt","sequence":"first","affiliation":[]},{"given":"Kang","family":"YI","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,29]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Kang Yi, Chu-Shik Jhon: A New FPGA Technology Mapping Approach by Cluster Merging. In: R.W. Hartenstein, M. Glesner (Eds.): Field-Programmable Logic. Springer 1996, pp 366\u2013370.","DOI":"10.1007\/3-540-61730-2_40"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"M. Servft, J. Zamazal: Heuristic Approach to Binate Covering Problem. EDAC'92 Proc., 1992, pp. 123\u2013129.","DOI":"10.1109\/EDAC.1992.205906"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"R. Murgai, R. Brayton, A. Sangiovanni-Vincentelli: Logic Synthesis for FieldProgrammable Gate Arrays. Kluver, 1995.","DOI":"10.1007\/978-1-4615-2345-1"},{"issue":"4","key":"21_CR4","first-page":"407","volume":"40","author":"L Stok","year":"1995","unstructured":"L Stok et al.: BooleDozer \u2014 Logic Synthesis for ASICs. IBM J. of Res. and Dev., 1995, Vol. 40, No. 4, pp. 407\u2013430.","journal-title":"J. of Res. and Dev."},{"key":"21_CR5","unstructured":"J. Zamazal: Boolean Satisfiability and Covering Problems-Design and Evaluation of Efficient Algorithms. PhD Dissertation, Czech Technical University, 1995."},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"O. Coudert, J. Madre: New Ideas for Solving Covering Problems. 31st DAC Proc., 1995.","DOI":"10.1145\/217474.217603"},{"issue":"3-4","key":"21_CR7","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1155\/1995\/31829","volume":"3","author":"M. Serv\u00edt","year":"1995","unstructured":"M. Serv\u00edt, J Zamazal: Decomposition and Reduction \u2014 General Problem-Solving Paradigms. VLSI Design J., 1995, Vol. 3, Nos. 3-4, pp. 359\u2013371.","journal-title":"VLSI Design J."},{"key":"21_CR8","unstructured":"C. Papadimitriou, K. Steglitz: Combinatorial Optimization \u2014 Algorithms and Complexity. Prentice-Hall, 1982, pp. 406\u2013409."},{"key":"21_CR9","unstructured":"The Actel FPGA Data Book, Actel Inc., 1993."},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"R. Murgai, K. Brayton, A. Sangiovanni-Vincentelli: An Improved Synthesis Algorithm for Multiplexor-based PGA's. 28th DAC Proc., 1992, pp. 380\u2013386.","DOI":"10.1109\/DAC.1992.227774"},{"key":"21_CR11","unstructured":"Kang Yi, Soeng-Yong Ohm, Chu-Shik Jhon: An Efficient FPGA Technology Mapping Tightly Coupled with Logic Minimization. IEICE Trans. on Fundamentals of Electronics, Communications and Computer Sciences, to appear in September 1997."},{"key":"21_CR12","unstructured":"M. Serv\u00edt, Kang Yi: Binate Covering Approach to FPGA Technology Mapping Problem. CTU Research Report under preparation."},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"T. Kam et al.: Synthesis of Finite State Machines-Functional Optimization. Kluver, 1997.","DOI":"10.1007\/978-1-4757-2622-0"}],"container-title":["Lecture Notes in Computer Science","Field-Programmable Logic and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63465-7_225","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T21:14:50Z","timestamp":1739999690000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63465-7_225"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634652","9783540695578"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-63465-7_225","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}