{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T02:03:06Z","timestamp":1743040986170,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"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_47","type":"book-chapter","created":{"date-parts":[[2011,1,8]],"date-time":"2011-01-08T06:12:05Z","timestamp":1294467125000},"page":"478-487","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Fault Tolerance Analysis of Distributed Reconfigurable Systems Using SAT-Based Techniques"],"prefix":"10.1007","author":[{"given":"Rainer","family":"Feldmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Haubelt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Burkhard","family":"Monien","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00fcrgen","family":"Teich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,9,30]]},"reference":[{"key":"47_CR1","doi-asserted-by":"crossref","unstructured":"Dick, R., Jha, N.: CORDS: Hardware-Software Co-Synthesis of Reconfigurable Real-Time Distributed Embedded Systems. In: Proceedigns of ICCAD 1998, pp. 62\u201368 (1998)","DOI":"10.1145\/288548.288561"},{"key":"47_CR2","doi-asserted-by":"crossref","unstructured":"Ouaiss, I., Govindarajan, S., Srinivasan, V., Kaul, M., Vemuri, R.: An Integrated Partitioning and Synthesis System for Dynamically Reconfigurable Multi-FPGA Architectures. In: IPPS\/SPDP Workshops, pp. 31\u201336 (1998)","DOI":"10.1007\/3-540-64359-1_669"},{"key":"47_CR3","doi-asserted-by":"crossref","unstructured":"Walder, H., Platzner, M.: Online Scheduling for Block-partitioned Reconfigurable Devices. In: Proceedings of Design, Automation and Test in Europe (DATE 2003), pp. 290\u2013295 (2003)","DOI":"10.1109\/DATE.2003.1253622"},{"key":"47_CR4","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1613\/jair.591","volume":"10","author":"J. Rintanen","year":"1999","unstructured":"Rintanen, J.: Constructing Conditional Plans by a Theorem-Prover. Journal of Artificial Intelligence\u00a010, 323\u2013352 (1999)","journal-title":"Journal of Artificial Intelligence"},{"key":"47_CR5","unstructured":"Egly, U., Eiter, T., Tompits, H., Woltran, S.: Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas. In: Proc. of the 17th Nat. Conf. on Artificial Intelligence, pp. 417\u2013422 (2000)"},{"key":"47_CR6","doi-asserted-by":"crossref","unstructured":"Scholl, C., Becker, B.: Checking Equivalence for Partial Implementations. In: Proceedings of 38th Design Automation Conference, Las Vegas, USA, pp. 238\u2013243 (2001)","DOI":"10.1145\/378239.378471"},{"key":"47_CR7","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1006\/inco.1995.1025","volume":"117","author":"H. Kleine-B\u00fcning","year":"1995","unstructured":"Kleine-B\u00fcning, H., Karpinski, M., Fl\u00f6gel, A.: Resolution for Quantified Boolean Formulas. Information and Computation\u00a0117, 12\u201318 (1995)","journal-title":"Information and Computation"},{"key":"47_CR8","unstructured":"Cadoli, M., Giovanardi, A., Schaerf, M.: An Algorithm to Evaluate Quantified Boolean Formulae. In: Proc. of the 15th Nat. Conf. on Artificial Intelligence, pp. 262\u2013267 (1998)"},{"key":"47_CR9","unstructured":"Feldmann, R., Monien, B., Schamberger, S.: A Distributed Algorithm to Evaluate Quantified Boolean Formulas. In: Proc. of the 17th Nat. Conf. on Artificial Intelligence, pp. 285\u2013290 (2000)"},{"key":"47_CR10","unstructured":"Giunchiglia, E., Narizzano, M., Tacchella, A.: Backjumping for Quantified Boolean Formulas. In: Proc. of the 17th Int. Joint Conf. on Artificial Intelligence, pp. 275\u2013281 (2001)"},{"key":"47_CR11","unstructured":"Cadence: Virtual Component Co-design (VCC) (2001), http:\/\/www.cadence.com"},{"key":"47_CR12","first-page":"23","volume-title":"Design Automation for Embedded Systems","author":"T. Blickle","year":"1998","unstructured":"Blickle, T., Teich, J., Thiele, L.: System-Level Synthesis Using Evolutionary Algorithms. In: Gupta, R. (ed.) Design Automation for Embedded Systems, vol.\u00a03, pp. 23\u201362. Kluwer Academic Publishers, Boston (1998)"},{"key":"47_CR13","unstructured":"Baumgarte, V., May, F., N\u00fcckel, A., Vorbach, M., Weinhardt, M.: PACT XPP - A Self- Reconfigurable Data Processing Architecture. In: ERSA, Las Vegas, Nevada (2001)"},{"key":"47_CR14","unstructured":"Chameleon Systems: CS 2000 Reconfigurable Communications Processor (2000)"}],"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_47","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T14:55:53Z","timestamp":1740840953000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45234-8_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540408222","9783540452348"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45234-8_47","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"}}]}}