Sciweavers

PVM
2009
Springer

Experiences Running a Parallel Answer Set Solver on Blue Gene

13 years 10 months ago
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.
Lars Schneidenbach, Bettina Schnor, Martin Gebser,
Added 27 May 2010
Updated 27 May 2010
Type Conference
Year 2009
Where PVM
Authors Lars Schneidenbach, Bettina Schnor, Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
Comments (0)