{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:01:36Z","timestamp":1725512496388},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540714309"},{"type":"electronic","value":"9783540714316"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71431-6_32","type":"book-chapter","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T21:06:50Z","timestamp":1180904810000},"page":"343-349","source":"Crossref","is-referenced-by-count":1,"title":["A Hardware SAT Solver Using Non-chronological Backtracking and Clause Recording Without Overheads"],"prefix":"10.1007","author":[{"given":"Shinya","family":"Hiramoto","sequence":"first","affiliation":[]},{"given":"Masaki","family":"Nakanishi","sequence":"additional","affiliation":[]},{"given":"Shigeru","family":"Yamashita","sequence":"additional","affiliation":[]},{"given":"Yasuhiko","family":"Nakashima","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"32_CR1","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1109\/12.769433","volume":"48","author":"L.M. Silva","year":"1999","unstructured":"Silva, L.M., Sakallah, K.A.: GRASP: A Search Algorithm for Propositional Satisfiability. IEEE Trans. Computers\u00a048(5), 506\u2013521 (1999)","journal-title":"IEEE Trans. Computers"},{"issue":"4","key":"32_CR2","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1145\/605440.605444","volume":"7","author":"A. Dandalis","year":"2002","unstructured":"Dandalis, A., Prasanna, V.K.: Run-Time Performance Optimization of an FPGA-Based Deduction Engine for SAT Solvers. ACM Trans. Design Automation of Electronic Systems\u00a07(4), 547\u2013562 (2002)","journal-title":"ACM Trans. Design Automation of Electronic Systems"},{"key":"32_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/BFb0055260","volume-title":"Field-Programmable Logic and Applications. From FPGAs to Computing Paradigm","author":"P. Zhong","year":"1998","unstructured":"Zhong, P., et al.: Solving Boolean Satisfiability with Dynamic Hardware Configurations. In: Hartenstein, R.W., Keevallik, A. (eds.) FPL 1998. LNCS, vol.\u00a01482, pp. 326\u2013335. Springer, Heidelberg (1998)"},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"Karypis, G., et al.: Multilevel hypergraph partitioning: Application in the vlsi domain. In: Proceedings of the Design and Automation Conference (1997)","DOI":"10.1109\/DAC.1997.597203"},{"key":"32_CR5","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","author":"M. Davis","year":"1962","unstructured":"Davis, M., Logemann, G., Loveland, D.: A Machine Program for Theorem Proving. Comm. ACM\u00a05, 394\u2013397 (1962)","journal-title":"Comm. ACM"},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"Moskewicz, M., et al.: Chaff: Engineering an efficient SAT Solver. In: Proceedings of the Design Automation Conference (July 2001)","DOI":"10.1145\/378239.379017"},{"key":"32_CR7","unstructured":"DIMACS satsiability benchmark suite, available at \n                    \n                      ftp:\/\/dimacs.rutgers.edu\/pub\/challenge\/satisfiability\/benchmarks\/cnf\/"},{"key":"32_CR8","unstructured":"SAT 2002 competition benchmarks, available at \n                    \n                      http:\/\/www.satlib.org\/"}],"container-title":["Lecture Notes in Computer Science","Reconfigurable Computing: Architectures, Tools and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71431-6_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:20:01Z","timestamp":1605763201000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71431-6_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540714309","9783540714316"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71431-6_32","relation":{},"subject":[]}}