Experiences running a parallel answer set solver on blue gene

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5759 LNCS, Issue , 2009, Pages 64-72

  Schneidenbach, Lars ^b   Schnor, Bettina ^a   Gebser, Martin ^a   Kaminski, Roland ^a   Kaufmann, Benjamin ^a   Schaub, Torsten ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

^b IBM RESEARCH   (Ireland)

Author keywords

Answer Set Programming; Applications based on Message Passing; Performance evaluation

Indexed keywords

FASTENERS; GENES; LOGIC PROGRAMMING; NETWORK SECURITY; VIRTUAL MACHINE;

ANSWER SET; ANSWER SET PROGRAMMING; BLUE GENE; PARALLEL VERSION; PARALLELISATION; PERFORMANCE EVALUATION;

MESSAGE PASSING;

EID: 70350438862     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03770-2_13     Document Type: Conference Paper

References (15)

1. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)
2. Janhunen, T.: Some (in)translatability results for normal logic programs and propositional theories. Journal of Applied Non-Classical Logics 16(1-2), 35-86 (2006)
3. Mitchell, D.: A SAT solver primer. Bulletin of the European Association for Theoretical Computer Science 85, 112-133 (2005)
4. 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-392. AAAI Press/MIT Press, Menlo Park (2007)
5. 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. 4483, pp. 136-148. Springer, Heidelberg (2007)
6. Pontelli, E., Balduccini, M., Bermudez, F.: Non-monotonic reasoning on Beowulf platforms. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS (LNAI), vol. 2562, pp. 37-57. Springer, Heidelberg (2003)
7. Balduccini, M., Pontelli, E., El-Khatib, O., Le, H.: Issues in parallel execution of nonmonotonic reasoning systems. Parallel Computing 31(6), 608-647 (2005)
8. Simons, P., Niemelä, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence 138(1-2), 181-234 (2002)
9. 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-396. IOS Press, Amsterdam (2006)
10. 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. 3835, pp. 95-109. Springer, Heidelberg (2005)
11. Blochinger, W., Sinz, C., Küchlin, W.: Parallel propositional satisfiability checking with distributed dynamic learning. Parallel Computing 29(7), 969-994 (2003)
12. Feldman, Y., Dershowitz, N., Hanna, Z.: Parallel multithreaded satisfiability solver: Design and implementation. Electronic Notes in Theoretical Computer Science 128(3), 75-90 (2005)
13. 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-36. IEEE Computer Society, Los Alamitos (2005)
14. 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-931 (2007)
15. Zhang, H., Bonacina, M., Hsiang, J.: PSATO: a distributed propositional prover and its application to quasigroup problems. Journal of Symbolic Computation 21(4), 543-560 (1996)