Experiences Running a Parallel Answer Set Solver on Blue Gene

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.

• Type: Conference
• Year: 2009
• Where: PVM
• Authors: Lars Schneidenbach, Bettina Schnor, Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
• Keywords: Answer Set Programming, Distributed And Parallel Computing, Parallel Version, Powerful Clasp Solver, PVM 2009