{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T12:06:20Z","timestamp":1749125180512},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617303"},{"type":"electronic","value":"9783540706700"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61730-2_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:14:54Z","timestamp":1330294494000},"page":"136-145","source":"Crossref","is-referenced-by-count":12,"title":["Solving satisfiability problems on FPGAs"],"prefix":"10.1007","author":[{"given":"Takayuki","family":"Suyama","sequence":"first","affiliation":[]},{"given":"Makoto","family":"Yokoo","sequence":"additional","affiliation":[]},{"given":"Hiroshi","family":"Sawada","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,6]]},"reference":[{"key":"14_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":"14_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"},{"issue":"No.9","key":"14_CR3","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":"14_CR4","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, pp. 285\u2013293, Wiley-Interscience Publication, New York (1992), second edition.","edition":"second edition"},{"key":"14_CR5","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, pp. 151\u2013158 (1971).","DOI":"10.1145\/800157.805047"},{"key":"14_CR6","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, pp. 201\u2013215 (1960).","journal-title":"Journal of the ACM"},{"key":"14_CR7","unstructured":"Mitchell, D., Selman, B., and Levesque, H.: Hard and easy distributions of SAT problem, Proceedings of the Tenth National Conference on Artificial Intelligence, pp. 459\u2013465 (1992)."},{"key":"14_CR8","unstructured":"Zycad Corp.: Paradigm RP Concept Silicon User's Guide, Hardware Reference Manual, Software Reference Manual (1994)."},{"key":"14_CR9","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, pp. 21\u201327 (1993)."},{"key":"14_CR10","unstructured":"Freeman, J. W.: Improvements to propositional satisfiability search algorithms, PhD thesis, the University of Pennsylvania (1995)."},{"key":"14_CR11","unstructured":"Dubois, O., Andre, P., Boufkhad, Y., and Carlier, J.: SAT versus UNSAT, Proceedings of the DIMACS Challenge II Workshop (1993)."}],"container-title":["Lecture Notes in Computer Science","Field-Programmable Logic Smart Applications, New Paradigms and Compilers"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61730-2_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:35:49Z","timestamp":1619573749000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61730-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617303","9783540706700"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-61730-2_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}