{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:29:09Z","timestamp":1750220949140,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":2,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T00:00:00Z","timestamp":1555372800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,16]]},"DOI":"10.1145\/3302509.3313319","type":"proceedings-article","created":{"date-parts":[[2019,4,4]],"date-time":"2019-04-04T18:38:43Z","timestamp":1554403123000},"page":"316-317","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["FPGA-Based amoeba-inspired SAT solver for cyber-physical systems"],"prefix":"10.1145","author":[{"given":"Anh Hoang Ngoc","family":"Nguyen","sequence":"first","affiliation":[{"name":"Tokyo Institute of Technology, Japan"}]},{"given":"Masashi","family":"Aono","sequence":"additional","affiliation":[{"name":"Keio University, Japan"}]},{"given":"Yuko","family":"Hara-Azumi","sequence":"additional","affiliation":[{"name":"Tokyo Institute of Technology, Japan"}]}],"member":"320","published-online":{"date-parts":[[2019,4,16]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"37","article-title":"Amoeba-inspired Spatiotemporal Dynamics for Solving the Satisfiability Problem","volume":"11","author":"Aono M.","year":"2015","journal-title":"Advances in Science, Technology and Environmentology"},{"key":"e_1_3_2_1_2_1","first-page":"8","article-title":"An Approach for Solving SAT\/MaxSAT-Encoded Formal Verification Problems on FPGA","volume":"100","author":"Kanazawa K.","year":"1807","journal-title":"IEICE Trans. on Information and Systems"}],"event":{"name":"ICCPS '19: ACM\/IEEE 10th International Conference on Cyber-Physical Systems","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","IEEE-CS\\TCRT TC on Real-Time Systems"],"location":"Montreal Quebec Canada","acronym":"ICCPS '19"},"container-title":["Proceedings of the 10th ACM\/IEEE International Conference on Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302509.3313319","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3302509.3313319","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:55Z","timestamp":1750204435000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302509.3313319"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,16]]},"references-count":2,"alternative-id":["10.1145\/3302509.3313319","10.1145\/3302509"],"URL":"https:\/\/doi.org\/10.1145\/3302509.3313319","relation":{},"subject":[],"published":{"date-parts":[[2019,4,16]]},"assertion":[{"value":"2019-04-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}