{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T05:15:58Z","timestamp":1736658958644,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":3,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540658313"},{"type":"electronic","value":"9783540489320"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/bfb0097959","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T14:45:17Z","timestamp":1164379517000},"page":"709-711","source":"Crossref","is-referenced-by-count":0,"title":["Solving satisfiability problems on FPGAs using experimental unit propagation heuristic"],"prefix":"10.1007","author":[{"given":"Takayuki","family":"Suyama","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Makoto","family":"Yokoo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akira","family":"Nagoya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,10,28]]},"reference":[{"unstructured":"Y. Asahiro, K. Iwama, and E. Miyano. Random generation of test instances with controlled attributes. In Proceedings of the DIMACS Challenge II Workshop, 1993.","key":"77_CR1"},{"unstructured":"C. M. Li and Anbulagan. Heuristics based on unit propagation for satisfiability problems. In Proc. of 15th International Joint Conference on Artificial Intelligence, pages 366\u2013371, 1997.","key":"77_CR2"},{"doi-asserted-by":"crossref","unstructured":"T. Suyama, M. Yokoo, and H. Sawada. Solving satisfiability problems using logic synthesis and reconfigurable hardware. In Proc. of the 31st Annual Hawaii International Conference on System Sciences Vol. VII, pages 179\u2013186, 1998.","key":"77_CR3","DOI":"10.1109\/HICSS.1998.649212"}],"container-title":["Lecture Notes in Computer Science","Parallel and Distributed Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0097959","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T04:30:57Z","timestamp":1736656257000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0097959"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540658313","9783540489320"],"references-count":3,"URL":"https:\/\/doi.org\/10.1007\/bfb0097959","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}