{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:03:21Z","timestamp":1742393001717},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678991"},{"type":"electronic","value":"9783540446149"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44614-1_50","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T17:25:22Z","timestamp":1192901122000},"page":"462-468","source":"Crossref","is-referenced-by-count":4,"title":["A Parallel Pipelined SAT Solver for FPGA\u2019s"],"prefix":"10.1007","author":[{"given":"M.","family":"Redekopp","sequence":"first","affiliation":[]},{"given":"A.","family":"Dandalis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,4,12]]},"reference":[{"key":"50_CR1","unstructured":"J.M. Silva, \u201cGRASP \u2014 A New Search Algorithm for Satisfiability,\u201d Proc. Intn\u2019l. Conf. on CAD, pp. 220\u2013227, November 1996"},{"key":"50_CR2","unstructured":"P. Zhong, M. Martonosi, et al., \u201cAccelerating Boolean Satisfiability with Configurable Hardware,\u201d Proc. Symp. on Field-Programmable Custom Computing Machines, April 1998"},{"key":"50_CR3","doi-asserted-by":"crossref","unstructured":"P. Zhong, M. Martonosi, et al., \u201cSolving Boolean Satisfiability with Dynamic Hardware Configurations,\u201d Proc. Intn\u2019l. Workshop on Field-Programmable Logic and Applications, Sept.1998","DOI":"10.1007\/BFb0055260"},{"issue":"1\u20132","key":"50_CR4","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1006310219368","volume":"24","author":"Abramovici","year":"2000","unstructured":"Abramovici and Sousa, \u201cA SAT Solver Using Reconfigurable Hardware and Virtual Logic,\u201d Journal of Automated Reasoning, Vol 24, nos 1\u20132, pp. 5\u201336, Febr. 2000","journal-title":"Journal of Automated Reasoning"},{"key":"50_CR5","unstructured":"DIMACS. Dimacs challenge benchmarks. Available at \n                    ftp:\/\/dimacs.rutgers.edu\/pub\/challenge\/sat\/benchmarks\/cnf"}],"container-title":["Lecture Notes in Computer Science","Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44614-1_50","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T08:20:11Z","timestamp":1550996411000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44614-1_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678991","9783540446149"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-44614-1_50","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}