{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T21:50:41Z","timestamp":1743025841933,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540408222"},{"type":"electronic","value":"9783540452348"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45234-8_48","type":"book-chapter","created":{"date-parts":[[2011,1,8]],"date-time":"2011-01-08T01:12:05Z","timestamp":1294449125000},"page":"488-496","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Hardware Implementations of Real-Time Reconfigurable WSAT Variants"],"prefix":"10.1007","author":[{"given":"Roland H. C.","family":"Yap","sequence":"first","affiliation":[]},{"given":"Stella Z. Q.","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Martin J.","family":"Henz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,9,30]]},"reference":[{"key":"48_CR1","unstructured":"Selman, B., Kautz, H., Cohen, B.: Noise strategies for improving local search. In: Proc. National Conference on Artificial Intelligence, pp. 337\u2013343 (1994)"},{"key":"48_CR2","unstructured":"McAllester, D., Selman, B., Kautz, H.: Evidence for invariants in local search. In: Proc. 14th National Conference on Artificial Intelligence (AAAI 1997) (1997)"},{"key":"48_CR3","doi-asserted-by":"crossref","unstructured":"Hamadi, Y., Merceron, D.: Reconfigurable architectures: A new vision for optimization problems. In: Principles and Practice of Constraint Programming, pp. 209\u2013221 (1997)","DOI":"10.1007\/BFb0017441"},{"key":"48_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1007\/978-3-540-48302-1_64","volume-title":"Field Programmable Logic and Applications","author":"W.H. Yung","year":"1999","unstructured":"Yung, W.H., Seung, Y.W., Lee, K.H., Leong, P.H.W.: A runtime reconfigurable implementation of the GSAT algorithm. In: Lysaght, P., Irvine, J., Hartenstein, R.W. (eds.) FPL 1999. LNCS, vol.\u00a01673, pp. 526\u2013531. Springer, Heidelberg (1999)"},{"issue":"1","key":"48_CR5","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1109\/92.920833","volume":"9","author":"P.H.W. Leong","year":"2001","unstructured":"Leong, P.H.W., Sham, C.W., Wong, W.C., Wong, H.Y., Yuen, W.S., Leong, M.P.: A bistream reconfigurable FPGA implementation of the WSAT algorithm. IEEE Trans. on Very Large Scale Integration (VLSI) Systems\u00a09(1), 197\u2013200 (2001)","journal-title":"IEEE Trans. on Very Large Scale Integration (VLSI) Systems"},{"key":"48_CR6","doi-asserted-by":"crossref","unstructured":"Henz, M., Tan, E., Yap, R.: One flip per clock cycle. In: Proc. of the 7th International Conference on Principles and Practice of Constraint Programming, pp. 509\u2013523 (2001)","DOI":"10.1007\/3-540-45578-7_35"},{"issue":"1\/2","key":"48_CR7","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1006310219368","volume":"24","author":"M. Abramovici","year":"2000","unstructured":"Abramovici, M., Sousa, A.: A SAT solver using reconfigurable hardware and virtual logic. Journal of Automated Reasoning\u00a024(1\/2), 5\u201336 (2000)","journal-title":"Journal of Automated Reasoning"},{"key":"48_CR8","unstructured":"Xilinx. Virtex 2.5 Field programmable gate arrays (1999)"},{"key":"48_CR9","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1023\/A:1006350622830","volume":"24","author":"H. Hoos","year":"2000","unstructured":"Hoos, H., St\u00fctzle, T.: Local search algorithms for SAT: An empirical evaluation. Journal of Automated Reasoning\u00a024, 421\u2013481 (2000)","journal-title":"Journal of Automated Reasoning"},{"key":"48_CR10","doi-asserted-by":"crossref","unstructured":"Zhang, W., Huang, Z., Zhang, J.: Parallel Execution of Stochastic Search, Procedures on Reduced SAT Instances. In: Proc. of the Seventh Pacific Rim International Conference on Artificial Intelligence, pp. 108\u2013117 (2002)","DOI":"10.1007\/3-540-45683-X_14"},{"key":"48_CR11","unstructured":"Kautz, H., Selman, B.: Walksat homepage, \n\nhttp:\/\/www.cs.washington.edu\/homes\/kautz\/walksat\/"}],"container-title":["Lecture Notes in Computer Science","Field Programmable Logic and Application"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45234-8_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,16]],"date-time":"2020-01-16T16:03:56Z","timestamp":1579190636000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45234-8_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540408222","9783540452348"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45234-8_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"30 September 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}