{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T11:23:52Z","timestamp":1763724232087},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,8]]},"DOI":"10.1109\/fpl.2007.4380697","type":"proceedings-article","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T21:56:42Z","timestamp":1194991002000},"page":"493-496","source":"Crossref","is-referenced-by-count":4,"title":["An FPGA Solver for Very Large SAT Problems"],"prefix":"10.1109","author":[{"given":"Kenji","family":"Kanazawa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tsutomu","family":"Maruyama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/92.920833"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.102"},{"year":"0","key":"ref10"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2005.1515703"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45234-8_48"},{"year":"0","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2006.311229"},{"key":"ref2","first-page":"321","article-title":"Evidence for Invariants in Local Search","author":"mcallester","year":"0","journal-title":"AAAI-97"},{"year":"0","key":"ref9"},{"key":"ref1","first-page":"337","article-title":"Noise Strategies for Improving Local Search","author":"selman","year":"0","journal-title":"AAAI-94"}],"event":{"name":"2007 International Conference on Field Programmable Logic and Applications","start":{"date-parts":[[2007,8,27]]},"location":"Amsterdam, Netherlands","end":{"date-parts":[[2007,8,29]]}},"container-title":["2007 International Conference on Field Programmable Logic and Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4380601\/4380602\/04380697.pdf?arnumber=4380697","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T20:52:18Z","timestamp":1643748738000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4380697\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,8]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/fpl.2007.4380697","relation":{},"subject":[],"published":{"date-parts":[[2007,8]]}}}