{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T19:57:28Z","timestamp":1780084648624,"version":"3.54.0"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T00:00:00Z","timestamp":1551398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T00:00:00Z","timestamp":1551398400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T00:00:00Z","timestamp":1551398400000},"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":[[2019,3]]},"DOI":"10.1109\/isqed.2019.8697729","type":"proceedings-article","created":{"date-parts":[[2019,4,26]],"date-time":"2019-04-26T03:49:36Z","timestamp":1556250576000},"page":"151-156","source":"Crossref","is-referenced-by-count":10,"title":["Amoeba-Inspired Stochastic Hardware SAT Solver"],"prefix":"10.1109","author":[{"given":"Kazuaki","family":"Hara","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Naoki","family":"Takeuchi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Masashi","family":"Aono","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yuko","family":"Hara-Azumi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1021\/la400301p"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1088\/0957-4484\/26\/23\/234001"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24605-3_37"},{"key":"ref13","author":"belov","year":"2014","journal-title":"SAT Competition 2014 Solver and Benchmark Descriptions"},{"key":"ref14","article-title":"A Probability Distribution Strategy with Efficient Clause Selection for Hard Max-SAT Formulas","volume":"abs 1610 442","author":"liu","year":"2016","journal-title":"CoRR"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.104"},{"key":"ref16","author":"takeuchi","year":"2018","journal-title":"A Circuit-Level Amoeba-Inspired SAT Solver"},{"key":"ref17","first-page":"1","article-title":"Xorshift RNGs","volume":"8","author":"marsaglia","year":"2003","journal-title":"Journal of Statistical Software Articles"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-3594-5"},{"key":"ref4","article-title":"Combinatorial Optimization by Decomposition on Hybrid CPU-non-CPU Solver Architectures","volume":"abs 1708 3439","author":"narimani","year":"2017","journal-title":"CoRR"},{"key":"ref3","first-page":"156","article-title":"Advanced Research into AI-Ising Computer","volume":"65","author":"yamaoka","year":"2016","journal-title":"Hitachi Review"},{"key":"ref6","first-page":"794","article-title":"An Analog SAT Solver Based on a Deterministic Dynamical System","author":"yin","year":"2017","journal-title":"Proc of Int'l Conf on Computer-Aided Design"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPSW.2012.57"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1857927.1857937"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2016.12.014"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1134\/S1054661816010065"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2014.6974673"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1587\/transinf.2016EDP7487"}],"event":{"name":"2019 20th International Symposium on Quality Electronic Design (ISQED)","location":"Santa Clara, CA, USA","start":{"date-parts":[[2019,3,6]]},"end":{"date-parts":[[2019,3,7]]}},"container-title":["20th International Symposium on Quality Electronic Design (ISQED)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8682005\/8697223\/08697729.pdf?arnumber=8697729","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T03:11:52Z","timestamp":1657854712000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8697729\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/isqed.2019.8697729","relation":{},"subject":[],"published":{"date-parts":[[2019,3]]}}}