{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T09:23:59Z","timestamp":1775467439282,"version":"3.50.1"},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,12,6]],"date-time":"2021-12-06T00:00:00Z","timestamp":1638748800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,12,6]],"date-time":"2021-12-06T00:00:00Z","timestamp":1638748800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,12,6]],"date-time":"2021-12-06T00:00:00Z","timestamp":1638748800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,12,6]]},"DOI":"10.1109\/icfpt52863.2021.9609882","type":"proceedings-article","created":{"date-parts":[[2021,11,23]],"date-time":"2021-11-23T21:47:48Z","timestamp":1637704068000},"page":"1-5","source":"Crossref","is-referenced-by-count":6,"title":["Resource-saving FPGA Implementation of the Satisfiability Problem Solver: AmoebaSATslim"],"prefix":"10.1109","author":[{"given":"Ying Jie","family":"Yan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hideharu","family":"Amano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masashi","family":"Aono","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kaori","family":"Ohkoda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shingo","family":"Fukuda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenta","family":"Saito","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seiya","family":"Kasai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2019.8697729"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICFPT47387.2019.00038"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2980008"},{"key":"ref13","year":"2020","journal-title":"PCT\/JP2021\/38396 claiming the benefit of priority from JP2020-184993"},{"key":"ref14","year":"0","journal-title":"FPGA computing platform M-KUBOS"},{"key":"ref15","year":"0","journal-title":"SATLIB Benchmark Problems"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1021\/la400301p"},{"key":"ref3","first-page":"1","article-title":"Real-time routing for wireless relay fron-thaul with vehicle-mounted radio units","author":"nakayama","year":"0","journal-title":"2020 IEEE 91st Vehicular Technology Conference (VTC2020-Spring)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.35848\/1347-4065\/ab8e05"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1088\/0957-4484\/26\/23\/234001"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1098\/rsos.180396"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1284621.1284651"},{"key":"ref2","first-page":"810","article-title":"Efficient sat approach to multi-agent path finding under the sum of costs objective","author":"surynek","year":"0","journal-title":"Proceedings of the Twenty-second European Conference on Artificial Intelligence"},{"key":"ref1","volume":"185","author":"biere","year":"2009","journal-title":"Handbook of Satisfiability"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-020-77617-7"}],"event":{"name":"2021 International Conference on Field-Programmable Technology (ICFPT)","location":"Auckland, New Zealand","start":{"date-parts":[[2021,12,6]]},"end":{"date-parts":[[2021,12,10]]}},"container-title":["2021 International Conference on Field-Programmable Technology (ICFPT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9609797\/9609698\/09609882.pdf?arnumber=9609882","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T16:51:55Z","timestamp":1652201515000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9609882\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,6]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/icfpt52863.2021.9609882","relation":{},"subject":[],"published":{"date-parts":[[2021,12,6]]}}}