{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:09:30Z","timestamp":1725484170110},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540424994"},{"type":"electronic","value":"9783540446873"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44687-7_33","type":"book-chapter","created":{"date-parts":[[2007,5,26]],"date-time":"2007-05-26T20:46:00Z","timestamp":1180212360000},"page":"315-325","source":"Crossref","is-referenced-by-count":2,"title":["Run-Time Performance Optimization of an FPGA-Based Deduction Engine for SAT Solvers"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Dandalis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viktor K.","family":"Prasanna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bharani","family":"Thiruvengadam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,8,17]]},"reference":[{"key":"33_CR1","doi-asserted-by":"crossref","unstructured":"M. Abramovici and D. Saab, \u201cSatisfiability on Reconfigurable Hardware,\u201d International Conference on Field Programmable Logic and Applications, September 1997.","DOI":"10.1007\/3-540-63465-7_250"},{"key":"33_CR2","doi-asserted-by":"crossref","unstructured":"M. Abramovici, J. Sousa, and D. Saab,\u201cA Massively-Parallel Easily-Scalable Satisfiability Solver using Reconfigurable Hardware,\u201d ACM\/IEEE Design Automation Conference, 1999.","DOI":"10.1145\/309847.310028"},{"key":"33_CR3","unstructured":"T. H. Cormen, C. E. Leiserson, and R. L. Rivest, \u201cIntroduction to Algorithms,\u201d The MIT Press, Cambridge Massachusetts, 1997."},{"key":"33_CR4","unstructured":"A. Dandalis, \u201cDynamic Logic Synthesis for Reconfigurable Devices,\u201d PhD Thesis, Dept. of Electrical Engineering, University of Southern California. Under Preparation."},{"key":"33_CR5","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/321033.321034","volume":"7","author":"M. Davis","year":"1960","unstructured":"M. Davis and H. Putnam, \u201cA Computing Procedure for Quantification Theory,\u201d Journal of ACM, 7:201\u2013215, 1960.","journal-title":"Journal of ACM"},{"key":"33_CR6","unstructured":"DIMACS SAT benchmarks, ftp:\/\/dimacs.rutgers.edu\/pub\/challenge\/satisfiability\/"},{"key":"33_CR7","doi-asserted-by":"crossref","unstructured":"M. Platzner and G. De Micheli, \u201cAcceleration of Satisfiability Algorithms by Reconfigurable Hardware,\u201d International Conference on Field Programmable Logic and Applications, September 1998.","DOI":"10.1007\/BFb0055234"},{"key":"33_CR8","doi-asserted-by":"crossref","unstructured":"M. Redekopp and A. Dandalis, \u201cA Parallel Pipelined SAT Solver for FPGAs,\u201d International Conference on Field Programmable Logic and Applications, September 2000.","DOI":"10.1007\/3-540-44614-1_50"},{"key":"33_CR9","unstructured":"J. P. M. Silva, \u201cAn Overview of Backtrack Search Satisfiability Algorithms,\u201d International Symposium on Artificial Intelligence and Mathematics, January 1998."},{"key":"33_CR10","volume-title":"CSE-TR-292-96","author":"J. P. M. Silva","year":"1996","unstructured":"J. P. M. Silva and K. A. Sakallah, \u201cGRASP: A New Search Algorithm for Satisfiability,\u201dCSE-TR-292-96, Computer Science and Engineering Department, University of Michigan, Ann Arbor, April 1996."},{"key":"33_CR11","doi-asserted-by":"crossref","unstructured":"T. Suyama, M. Yokoo, and H. Sawada, \u201cSolving Satisfiability Problems on FPGAs,\u201d International Conference on Field Programmable Logic and Applications, September 1996.","DOI":"10.1007\/3-540-61730-2_14"},{"key":"33_CR12","unstructured":"Xilinx Inc., http:\/\/www.xilinx.com"},{"key":"33_CR13","unstructured":"H. Zhang and M. Stickel, \u201cAn Efficient Algorithm for Unit-Propagation,\u201d International Symposium on Artificial Intelligence and Mathematics, 1996."},{"key":"33_CR14","unstructured":"P. Zhong, M. Martonosi, P. Ashar, and S. Malik, \u201cAccelerating Boolean Satisfiability with Configurable Hardware,\u201d IEEE Symposium on FPGAs for Custom Computing Machines, April 1998."},{"key":"33_CR15","doi-asserted-by":"crossref","unstructured":"P. Zhong, M. Martonosi, S. Malik, and P. Ashar, \u201cSolving Boolean Satisfiability with Dynamic Hardware Configurations,\u201d International Workshop on Field Programmable Logic and Applications, September 1998.","DOI":"10.1007\/BFb0055260"}],"container-title":["Lecture Notes in Computer Science","Field-Programmable Logic and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44687-7_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T07:04:58Z","timestamp":1556435098000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44687-7_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540424994","9783540446873"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-44687-7_33","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}