{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:17:58Z","timestamp":1729664278636,"version":"3.28.0"},"reference-count":5,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1109\/fpl.2008.4629995","type":"proceedings-article","created":{"date-parts":[[2008,9,26]],"date-time":"2008-09-26T11:16:55Z","timestamp":1222427815000},"page":"507-510","source":"Crossref","is-referenced-by-count":1,"title":["SAT-based resource binding for reducing critical path delays"],"prefix":"10.1109","author":[{"family":"Kenshu Seto","sequence":"first","affiliation":[]},{"family":"Yuta Nonaka","sequence":"additional","affiliation":[]},{"family":"Takuya Maruizumi","sequence":"additional","affiliation":[]},{"family":"Yasuhiro Shiraki","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","first-page":"499","article-title":"data path allocation based on bipartite weighted matching","author":"huang","year":"1991","journal-title":"Proc ACM\/IEEE Design Automation Conf (DAC)"},{"journal-title":"Nios II C2H compiler user guide","year":"2007","key":"2"},{"journal-title":"High-Level Synthesis Introduction to Chip and System Design","year":"1991","author":"gajski","key":"1"},{"key":"5","doi-asserted-by":"crossref","first-page":"502","DOI":"10.1007\/978-3-540-24605-3_37","article-title":"an extensible sat-solver","volume":"2919","author":"een","year":"2004","journal-title":"Lecture Notes in Computer Science (LNCS)"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2004.1337542"}],"event":{"name":"2008 International Conference on Field Programmable Logic and Applications (FPL)","start":{"date-parts":[[2008,9,8]]},"location":"Heidelberg, Germany","end":{"date-parts":[[2008,9,10]]}},"container-title":["2008 International Conference on Field Programmable Logic and Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4625340\/4629890\/04629995.pdf?arnumber=4629995","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T08:05:06Z","timestamp":1497773106000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4629995\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"references-count":5,"URL":"https:\/\/doi.org\/10.1109\/fpl.2008.4629995","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}