{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:58:36Z","timestamp":1725537516144},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642037696"},{"type":"electronic","value":"9783642037702"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03770-2_13","type":"book-chapter","created":{"date-parts":[[2009,9,2]],"date-time":"2009-09-02T07:52:09Z","timestamp":1251877929000},"page":"64-72","source":"Crossref","is-referenced-by-count":3,"title":["Experiences Running a Parallel Answer Set Solver on Blue Gene"],"prefix":"10.1007","author":[{"given":"Lars","family":"Schneidenbach","sequence":"first","affiliation":[]},{"given":"Bettina","family":"Schnor","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Gebser","sequence":"additional","affiliation":[]},{"given":"Roland","family":"Kaminski","sequence":"additional","affiliation":[]},{"given":"Benjamin","family":"Kaufmann","sequence":"additional","affiliation":[]},{"given":"Torsten","family":"Schaub","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"issue":"1-2","key":"13_CR2","doi-asserted-by":"publisher","first-page":"35","DOI":"10.3166\/jancl.16.35-86","volume":"16","author":"T. Janhunen","year":"2006","unstructured":"Janhunen, T.: Some (in)translatability results for normal logic programs and propositional theories. Journal of Applied Non-Classical Logics\u00a016(1-2), 35\u201386 (2006)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"13_CR3","first-page":"112","volume":"85","author":"D. Mitchell","year":"2005","unstructured":"Mitchell, D.: A SAT solver primer. Bulletin of the European Association for Theoretical Computer Science\u00a085, 112\u2013133 (2005)","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"13_CR4","first-page":"386","volume-title":"Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007)","author":"M. Gebser","year":"2007","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: Veloso, M. (ed.) Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 386\u2013392. AAAI Press\/MIT Press, Menlo Park (2007)"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-540-72200-7_13","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Gebser","year":"2007","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set enumeration. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS, vol.\u00a04483, pp. 136\u2013148. Springer, Heidelberg (2007)"},{"key":"13_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/3-540-36388-2_5","volume-title":"Practical Aspects of Declarative Languages","author":"E. Pontelli","year":"2003","unstructured":"Pontelli, E., Balduccini, M., Bermudez, F.: Non-monotonic reasoning on Beowulf platforms. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS (LNAI), vol.\u00a02562, pp. 37\u201357. Springer, Heidelberg (2003)"},{"issue":"6","key":"13_CR7","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1016\/j.parco.2005.03.004","volume":"31","author":"M. Balduccini","year":"2005","unstructured":"Balduccini, M., Pontelli, E., El-Khatib, O., Le, H.: Issues in parallel execution of non-monotonic reasoning systems. Parallel Computing\u00a031(6), 608\u2013647 (2005)","journal-title":"Parallel Computing"},{"issue":"1-2","key":"13_CR8","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"P. Simons","year":"2002","unstructured":"Simons, P., Niemel\u00e4, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence\u00a0138(1-2), 181\u2013234 (2002)","journal-title":"Artificial Intelligence"},{"key":"13_CR9","first-page":"392","volume-title":"Proceedings of the Seventeenth European Conference on Artificial Intelligence (ECAI 2006)","author":"J. Gressmann","year":"2006","unstructured":"Gressmann, J., Janhunen, T., Mercer, R., Schaub, T., Thiele, S., Tichy, R.: On probing and multi-threading in platypus. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) Proceedings of the Seventeenth European Conference on Artificial Intelligence (ECAI 2006), pp. 392\u2013396. IOS Press, Amsterdam (2006)"},{"key":"13_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/11591191_8","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"C. Anger","year":"2005","unstructured":"Anger, C., Gebser, M., Linke, T., Neumann, A., Schaub, T.: The nomore++ approach to answer set solving. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol.\u00a03835, pp. 95\u2013109. Springer, Heidelberg (2005)"},{"issue":"7","key":"13_CR11","doi-asserted-by":"publisher","first-page":"969","DOI":"10.1016\/S0167-8191(03)00068-1","volume":"29","author":"W. Blochinger","year":"2003","unstructured":"Blochinger, W., Sinz, C., K\u00fcchlin, W.: Parallel propositional satisfiability checking with distributed dynamic learning. Parallel Computing\u00a029(7), 969\u2013994 (2003)","journal-title":"Parallel Computing"},{"issue":"3","key":"13_CR12","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.entcs.2004.10.020","volume":"128","author":"Y. Feldman","year":"2005","unstructured":"Feldman, Y., Dershowitz, N., Hanna, Z.: Parallel multithreaded satisfiability solver: Design and implementation. Electronic Notes in Theoretical Computer Science\u00a0128(3), 75\u201390 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/MTV.2005.17","volume-title":"Proceedings of the Sixth International Workshop on Microprocessor Test and Verification (MTV 2005)","author":"T. Schubert","year":"2005","unstructured":"Schubert, T., Lewis, M., Becker, B.: Pamira - a parallel SAT solver with knowledge sharing. In: Abadir, M., Wang, L. (eds.) Proceedings of the Sixth International Workshop on Microprocessor Test and Verification (MTV 2005), pp. 29\u201336. IEEE Computer Society, Los Alamitos (2005)"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Lewis, M., Schubert, T., Becker, B.: Multithreaded SAT solving. In: Proceedings of the Twelfth Asia and South Pacific Design Automation Conference (ASP-DAC 2007), pp. 926\u2013931 (2007)","DOI":"10.1109\/ASPDAC.2007.358108"},{"issue":"4","key":"13_CR15","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1006\/jsco.1996.0030","volume":"21","author":"H. Zhang","year":"1996","unstructured":"Zhang, H., Bonacina, M., Hsiang, J.: PSATO: a distributed propositional prover and its application to quasigroup problems. Journal of Symbolic Computation\u00a021(4), 543\u2013560 (1996)","journal-title":"Journal of Symbolic Computation"}],"container-title":["Lecture Notes in Computer Science","Recent Advances in Parallel Virtual Machine and Message Passing Interface"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03770-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T16:59:01Z","timestamp":1552150741000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03770-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642037696","9783642037702"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03770-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}