{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:31:09Z","timestamp":1742380269991},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642042379"},{"type":"electronic","value":"9783642042386"}],"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-04238-6_47","type":"book-chapter","created":{"date-parts":[[2009,8,31]],"date-time":"2009-08-31T04:23:01Z","timestamp":1251692581000},"page":"490-495","source":"Crossref","is-referenced-by-count":10,"title":["A Simple Distributed Conflict-Driven Answer Set Solver"],"prefix":"10.1007","author":[{"given":"Enrico","family":"Ellguth","sequence":"first","affiliation":[]},{"given":"Martin","family":"Gebser","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Gusowski","sequence":"additional","affiliation":[]},{"given":"Benjamin","family":"Kaufmann","sequence":"additional","affiliation":[]},{"given":"Roland","family":"Kaminski","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Liske","sequence":"additional","affiliation":[]},{"given":"Torsten","family":"Schaub","sequence":"additional","affiliation":[]},{"given":"Lars","family":"Schneidenbach","sequence":"additional","affiliation":[]},{"given":"Bettina","family":"Schnor","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"47_CR1","volume-title":"Using MPI-2: Advanced Features of the Message-Passing Interface","author":"W. Gropp","year":"1999","unstructured":"Gropp, W., Lusk, E., Thakur, R.: Using MPI-2: Advanced Features of the Message-Passing Interface. MIT Press, Cambridge (1999)"},{"key":"47_CR2","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: Proceedings IJCAI 2007, pp. 386\u2013392. AAAI Press\/MIT Press (2007)"},{"key":"47_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/978-3-540-24605-3_37","volume-title":"Theory and Applications of Satisfiability Testing","author":"N. E\u00e9n","year":"2004","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: An extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol.\u00a02919, pp. 502\u2013518. Springer, Heidelberg (2004)"},{"issue":"4","key":"47_CR4","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"},{"key":"47_CR5","series-title":"Lecture Notes in Artificial Intelligence","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 (LNAI), vol.\u00a04483, pp. 136\u2013148. Springer, Heidelberg (2007)"},{"key":"47_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/978-3-540-24609-1_26","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"J. Ward","year":"2004","unstructured":"Ward, J., Schlipf, J.: Answer set programming with clause learning. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS (LNAI), vol.\u00a02923, pp. 302\u2013313. Springer, Heidelberg (2004)"},{"key":"47_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/11546207_18","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"J. Gressmann","year":"2005","unstructured":"Gressmann, J., Janhunen, T., Mercer, R., Schaub, T., Thiele, S., Tichy, R.: Platypus: A platform for distributed answer set solving. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.\u00a03662, pp. 227\u2013239. Springer, Heidelberg (2005)"},{"key":"47_CR8","first-page":"392","volume-title":"Proceedings 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: Proceedings ECAI 2006, pp. 392\u2013396. IOS Press, Amsterdam (2006)"},{"key":"47_CR9","series-title":"Lecture Notes in Computer Science","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, vol.\u00a02562, pp. 37\u201357. Springer, Heidelberg (2003)"},{"issue":"6","key":"47_CR10","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"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04238-6_47","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T11:36:29Z","timestamp":1552131389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04238-6_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042379","9783642042386"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04238-6_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}