{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T20:10:08Z","timestamp":1736021408257,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291053"},{"type":"electronic","value":"9783540320302"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11560548_37","type":"book-chapter","created":{"date-parts":[[2005,10,6]],"date-time":"2005-10-06T09:38:22Z","timestamp":1128591502000},"page":"384-387","source":"Crossref","is-referenced-by-count":0,"title":["FPGA Based Accelerator for 3-SAT Conflict Analysis in SAT Solvers"],"prefix":"10.1007","author":[{"given":"Mona","family":"Safar","sequence":"first","affiliation":[]},{"given":"M. Watheq","family":"El-Kharashi","sequence":"additional","affiliation":[]},{"given":"Ashraf","family":"Salem","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"37_CR1","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1145\/508352.508353","volume":"34","author":"K. Compton","year":"2002","unstructured":"Compton, K., Hauck, S.: Reconfigurable Computing: A Survey of Systems and Software. ACM computing Surveys\u00a034(2), 171\u2013210 (2002)","journal-title":"ACM computing Surveys"},{"issue":"11","key":"37_CR2","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"},{"issue":"5","key":"37_CR3","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"},{"key":"37_CR4","doi-asserted-by":"crossref","unstructured":"Bryant, R.E.: Graph-Based Algorithms for Boolean Function Manipulation. IEEE Trans. on Computers\u00a0C-35(8) (August 1986)","DOI":"10.1109\/TC.1986.1676819"},{"key":"37_CR5","doi-asserted-by":"crossref","unstructured":"Marques-Silva, J.P., Guerra e Silva, L.: Solving Satisfiability in Combinational Circuits. IEEE Design and Test of Computers, 16\u201321 (July\/August 2003)","DOI":"10.1109\/MDT.2003.1214348"},{"key":"37_CR6","doi-asserted-by":"crossref","unstructured":"Reda, S., Salem, A.: Combinational Equivalence Checking using Boolean Satisfiability and Binary Decision Diagrams. IEEE\/ACM Design, Automation and Test in Europe, 122\u2013126 (March 2001)","DOI":"10.1109\/DATE.2001.915011"},{"issue":"6","key":"37_CR7","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"},{"issue":"1","key":"37_CR8","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1109\/43.108614","volume":"11","author":"T. Larrabee","year":"1992","unstructured":"Larrabee, T.: Test Pattern generation using Boolean Satisfiability. IEEE Transactions on 2Computer Aided Design\u00a011(1), 4\u201315 (1992)","journal-title":"IEEE Transactions on 2Computer Aided Design"}],"container-title":["Lecture Notes in Computer Science","Correct Hardware Design and Verification Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560548_37.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T19:51:25Z","timestamp":1736020285000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560548_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291053","9783540320302"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/11560548_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}