{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T05:04:02Z","timestamp":1755925442548},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540797180"},{"type":"electronic","value":"9783540797197"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79719-7_6","type":"book-chapter","created":{"date-parts":[[2008,5,6]],"date-time":"2008-05-06T08:04:57Z","timestamp":1210061097000},"page":"48-62","source":"Crossref","is-referenced-by-count":10,"title":["Designing an Efficient Hardware Implication Accelerator for SAT Solving"],"prefix":"10.1007","author":[{"given":"John D.","family":"Davis","sequence":"first","affiliation":[]},{"given":"Zhangxi","family":"Tan","sequence":"additional","affiliation":[]},{"given":"Fang","family":"Yu","sequence":"additional","affiliation":[]},{"given":"Lintao","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_2","volume-title":"Computer Aided Verification","author":"L. Zhang","year":"2002","unstructured":"Zhang, L., Malik, S.: The Quest for Efficient Boolean Satisfiability Solvers. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, Springer, Heidelberg (2002)"},{"issue":"1","key":"6_CR2","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1109\/92.920826","volume":"9","author":"T. Suyama","year":"2001","unstructured":"Suyama, T., Yokoo, M., Sawada, H., Nagoya, A.: Solving Satisfiability Problems Using Reconfigurable Computing. IEEE Trans. VLSI Systems\u00a09(1), 109\u2013116 (2001)","journal-title":"IEEE Trans. VLSI Systems"},{"issue":"6","key":"6_CR3","doi-asserted-by":"publisher","first-page":"861","DOI":"10.1109\/43.766733","volume":"18","author":"P. Zhong","year":"1999","unstructured":"Zhong, P., Martonosi, M., Ashar, P., Malik, S.: Using Configurable Computing to Accelerate Boolean Satisfiability. IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems\u00a018(6), 861\u2013868 (1999)","journal-title":"IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems"},{"key":"6_CR4","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., Martonosi, M., Ashar, P., Malik, S.: 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)"},{"issue":"1-2","key":"6_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1006310219368","volume":"24","author":"M. Abramovici","year":"2000","unstructured":"Abramovici, M., de Sousa, J.T.: A SAT Solver Using Reconfigurable Hardware and Virtual Logic. J. Automated Reasoning\u00a024(1-2), 5\u201336 (2000)","journal-title":"J. Automated Reasoning"},{"issue":"4","key":"6_CR6","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.: A Parallel Pipelined SAT Solver for FPGA\u2019s. FPGAACM Trans. Design Automation of Electronic Systems\u00a07(4), 547\u2013562 (2002)","journal-title":"FPGAACM Trans. Design Automation of Electronic Systems"},{"key":"6_CR7","unstructured":"de Sousa, J., Marques-Silva, J.P., Abramovici, M.: A Configware\/Software Approach to SAT Solving. In: Proc. Ninth IEEE Int\u2019l Symp. Field-Programmable Custom Computing Machines (2001)"},{"issue":"4","key":"6_CR8","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1109\/TVLSI.2004.825859","volume":"12","author":"I. Skliarova","year":"2004","unstructured":"Skliarova, I., Ferrari, A.B.: A Software\/Reconfigurable Hardware SAT Solver. IEEE Trans. Very Large Scale Integration (VLSI) Systems\u00a012(4), 408\u2013419 (2004)","journal-title":"IEEE Trans. Very Large Scale Integration (VLSI) Systems"},{"issue":"11","key":"6_CR9","doi-asserted-by":"publisher","first-page":"1449","DOI":"10.1109\/TC.2004.102","volume":"53","author":"I. Skliarova","year":"2004","unstructured":"Skliarova, I., Ferrari, A.B.: Reconfigurable Hardware SAT Solvers: A Survey of Systems. IEEE Transactions on Computers\u00a053(11), 1449\u20131461 (2004)","journal-title":"IEEE Transactions on Computers"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L., Malik, S.: Chaff: Engineering an Efficient SAT Solver. In: 38th Design Automation Conference, Las Vegas (June 2001)","DOI":"10.1145\/378239.379017"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Davis, J.D., Tan, Z., Yu, F., Zhang, L.: A Practical Reconfigurable Hardware Accelerator for Boolean Satisfiability Solvers. In: 45th Design Automation Conference, Anaheim (June 2008)","DOI":"10.1145\/1391469.1391669"},{"key":"6_CR12","unstructured":"HyperTransport Technology I\/O link, AMD (2001)"},{"key":"6_CR13","volume-title":"Introduction to Algorithms","author":"T.H. Cormen","year":"1990","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to Algorithms. McGraw-Hill, New York (1990)"},{"key":"6_CR14","unstructured":"Culberson, J.: Graph Coloring Programs, available at \n                  \n                    http:\/\/www.cs.ualberta.ca\/~joe\/Coloring\/Colorsrc\/index.html"},{"key":"6_CR15","unstructured":"Xilinx product specification, Content Addressable Memory V5.1, available at \n                  \n                    http:\/\/www.xilinx.com\/ipcenter\/catalog\/logicore\/docs\/cam.pdf"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Satisfiability Testing \u2013 SAT 2008"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79719-7_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:29:16Z","timestamp":1619522956000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79719-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540797180","9783540797197"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79719-7_6","relation":{},"subject":[]}}