{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:17:07Z","timestamp":1725567427936},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664574"},{"type":"electronic","value":"9783540483021"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-540-48302-1_65","type":"book-chapter","created":{"date-parts":[[2010,10,14]],"date-time":"2010-10-14T06:59:24Z","timestamp":1287039564000},"page":"532-537","source":"Crossref","is-referenced-by-count":0,"title":["Accelerating Boolean Implications with FPGAs"],"prefix":"10.1007","author":[{"given":"Kolja","family":"Sulimma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dominik","family":"Stoffel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Kunz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"65_CR1","unstructured":"Chu, M., Sulimma, K., Weaver, N., DeHon, A., Wawrzynek, J.: Object Oriented Circuit-Generators in Java. In: Proceedings of the IEEE Symposium on FPGAs for Custom Computing Machines (1998), \n                    \n                      http:\/\/www.cs.berkeley.edu\/projects\/brass\/documents\/GeneratorsFCCM98.html"},{"key":"65_CR2","unstructured":"DeHon, A.: Reconfigurable Architechtures for General-Purpose Computing. A. I. Technical Report No.1586, Massachusets Institute of Technology, Artificial Intelligence Laboratory (1996), \n                    \n                      http:\/\/www.ai.mit.edu\/people\/andre\/phd.html"},{"key":"65_CR3","doi-asserted-by":"crossref","unstructured":"Kunz, W., Stoffel, D.: Reasoning in Boolean Networks. Kluwer Academic Publishers, Dordrecht (1997) ISBN 0-7923-9921-8, \n                    \n                      http:\/\/www.wkap.nl\/book.htm\/0-7923-9921-8532","DOI":"10.1007\/978-1-4757-2572-8"},{"issue":"9","key":"65_CR4","doi-asserted-by":"publisher","first-page":"1143","DOI":"10.1109\/43.310903","volume":"13","author":"W. Kunz","year":"1994","unstructured":"Kunz, W., Pradhan, D.K.: Recursiv Learning: A New Implication Technique for Efficient Solutions to CAD Problems Test, Verification and Optimization. IEEE Transactions on Computer Aided Design\u00a013(9), 1143\u20131158 (September 1994)","journal-title":"IEEE Transactions on Computer Aided Design"},{"key":"65_CR5","unstructured":"Sulimma, K.: Berechnung von Implikationen in Booleschen Netzen mit FPGAs, Universit\u00e4t Frankfurt (1999) ISBN 3-933966-00-0 , \n                    \n                      http:\/\/verlag.prowokulta.org\/isbn00\/532"},{"key":"65_CR6","unstructured":"Zhong, P.: Margaret Martonosi, Pranav Ashar and Sharad Malik: Accelerating Boolean Satisfiability with Configurable Hardware. In: Proceedings of the IEEE Symposium on FPGAs for Custom Computing Machines (1998), \n                    \n                      http:\/\/www.ee.princeton.edu\/~mrm\/pubs.html533"}],"container-title":["Lecture Notes in Computer Science","Field Programmable Logic and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-48302-1_65","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T21:02:39Z","timestamp":1548450159000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-48302-1_65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664574","9783540483021"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-48302-1_65","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}