{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T16:25:21Z","timestamp":1743265521793},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615514"},{"type":"electronic","value":"9783540706205"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61551-2_96","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:56:34Z","timestamp":1330293394000},"page":"497-509","source":"Crossref","is-referenced-by-count":14,"title":["Solving satisfiability problems using field programmable gate arrays: First results"],"prefix":"10.1007","author":[{"given":"Makoto","family":"Yokoo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takayuki","family":"Suyama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiroshi","family":"Sawada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"35_CR1","doi-asserted-by":"crossref","unstructured":"Brown, S. D., Francis, R. J., Rose, J., and Vranesic, Z. G.: Field-Programmable Gate Arrays, Kluwer Academic Publishers (1992)","DOI":"10.1007\/978-1-4615-3572-0"},{"key":"35_CR2","doi-asserted-by":"crossref","unstructured":"Camposano, R. and Wolf, W.: High-level VLSI synthesis, Kluwer Academic Publishers (1991).","DOI":"10.1007\/978-1-4615-3966-7"},{"key":"35_CR3","doi-asserted-by":"crossref","unstructured":"Cook, S.: The complexity of theorem proving procedures, Proceedings of the 3rd Annual ACM Symposium on the Theory of Computation (1971) 151\u2013158","DOI":"10.1145\/800157.805047"},{"key":"35_CR4","unstructured":"Crawford, J. M. and Auton, L. D.: Experimental results on the crossover point in satisfiability problems, Proceedings of the Eleventh National Conference on Artificial Intelligence (1993) 21\u201327"},{"key":"35_CR5","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/321033.321034","volume":"7","author":"M. Davis","year":"1960","unstructured":"Davis, M. and Putnam, H.: A computing procedure for quantification theory, Journal of the ACM, Vol. 7, (1960) 201\u2013215","journal-title":"Journal of the ACM"},{"key":"35_CR6","unstructured":"Dubois, O., Andre, P., Boufkhad, Y., and Carlier, J.: SAT versus UNSAT, in Johnson, D. S. and Trick, M. A. eds., Proceedings of the Second DIMACS Implementation Challenge, DIMACS Series in Discrete Mathematics and Theoretical Computer Science (1993)"},{"key":"35_CR7","unstructured":"Freeman, J. W.: Improvements to propositional satisfiability search algorithms, PhD thesis, the University of Pennsylvania (1995)"},{"key":"35_CR8","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(80)90051-X","volume":"14","author":"R. Haralick","year":"1980","unstructured":"Haralick, R. and Elliot, G. L.: Increasing tree search efficiency for constraint satisfaction problems, Artificial Intelligence, Vol. 14, (1980) 263\u2013313","journal-title":"Artificial Intelligence"},{"key":"35_CR9","first-page":"285","volume-title":"Encyclopedia of Artificial Intelligence","author":"A. K. Mackworth","year":"1992","unstructured":"Mackworth, A. K.: Constraint satisfaction, in Shapiro, S. C. ed., Encyclopedia of Artificial Intelligence, Wiley-Interscience Publication, New York (1992) 285\u2013293, second edition","edition":"second edition"},{"key":"35_CR10","unstructured":"Mitchell, D., Selman, B., and Levesque, H.: Hard and easy distributions of SAT problem, Proceedings of the Tenth National Conference on Artificial Intelligence (1992) 459\u2013465"},{"issue":"No.9","key":"35_CR11","first-page":"1047","volume":"E76-D","author":"Y. Nakamura","year":"1993","unstructured":"Nakamura, Y., Oguri, K., Nagoya A., Yukishita M., and Nomura R.: High-level synthesis design at NTT Systems Labs, IEICE Trans. Inf & Syst., Vol. E76-D, No.9, pp. 1047\u20131054 (1993).","journal-title":"IEICE Trans. Inf & Syst."},{"key":"35_CR12","unstructured":"Morris, P.: The breakout method for escaping from local minima, Proceedings of the Eleventh National Conference on Artificial Intelligence (1993) 40\u201345"},{"issue":"No.1","key":"35_CR13","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles, Artificial Intelligence, Vol. 32, No. 1, (1987) 57\u201395","journal-title":"Artificial Intelligence"},{"issue":"No.2","key":"35_CR14","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0004-3702(89)90008-8","volume":"41","author":"R. Reiter","year":"1989","unstructured":"Reiter, R. and Mackworth, A.: A logical framework for depiction and image interpretation, Artificial Intelligence, Vol. 41, No. 2, (1989) 125\u2013155","journal-title":"Artificial Intelligence"},{"key":"35_CR15","unstructured":"Selman, B., Levesque, H., and Mitchell, D.: A new method for solving hard satisfiability problems, Proceedings of the Tenth National Conference on Artificial Intelligence (1992) 440\u2013446"},{"key":"35_CR16","unstructured":"Zycad Corp.: Paradigm RP Concept Silicon User's Guide, Hardware Reference Manual, Software Reference Manual (1994)."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP96"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61551-2_96.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:34:28Z","timestamp":1619573668000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61551-2_96"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615514","9783540706205"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-61551-2_96","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}