Experiences Running a Parallel Answer Set Solver on Blue Gene

Authors:
Lars Schneidenbach;Bettina Schnor;Martin Gebser;Roland Kaminski;Benjamin Kaufmann;Torsten Schaub
Affiliations:
Dublin Software Lab, Mulhuddart, IBM Ireland, Dublin 15, Ireland;Institut für Informatik, Universität Potsdam, Potsdam, Germany D-14482;Institut für Informatik, Universität Potsdam, Potsdam, Germany D-14482;Institut für Informatik, Universität Potsdam, Potsdam, Germany D-14482;Institut für Informatik, Universität Potsdam, Potsdam, Germany D-14482;Institut für Informatik, Universität Potsdam, Potsdam, Germany D-14482
Venue:
Proceedings of the 16th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Year:
2009

Citing 12
Cited 2

PSATO: a distributed propositional prover and its application to quasigroup problems

Journal of Symbolic Computation - Special issue on parallel symbolic computation
Extending and implementing the stable model semantics

Artificial Intelligence
Knowledge Representation, Reasoning, and Declarative Problem Solving

Knowledge Representation, Reasoning, and Declarative Problem Solving
Non-monotonic Reasoning on Beowulf Platforms

PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Parallel propositional satisfiability checking with distributed dynamic learning

Parallel Computing
Issues in parallel execution of non-monotonic reasoning systems

Parallel Computing
PaMira - A Parallel SAT Solver with Knowledge Sharing

MTV '05 Proceedings of the Sixth International Workshop on Microprocessor Test and Verification
Multithreaded SAT Solving

ASP-DAC '07 Proceedings of the 2007 Asia and South Pacific Design Automation Conference
On Probing and Multi-Threading in PLATYPUS

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Conflict-driven answer set solving

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Conflict-driven answer set enumeration

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
The nomore++ approach to answer set solving

LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning

Potassco: The Potsdam Answer Set Solving Collection

AI Communications - Answer Set Programming
Conflict-driven answer set solving: From theory to practice

Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents the concept of parallelisation of a solver for Answer Set Programming (ASP). While there already exist some approaches to parallel ASP solving, there was a lack of a parallel version of the powerful clasp solver. We implemented a parallel version of clasp based on message-passing. Experimental results on Blue Gene P/L indicate the potential of such an approach.