Experiences Running a Parallel Answer Set Solver on Blue Gene

View/ Open
Author(s)
Schneidenbach, Lars
Schnor, Bettina
Gebser, Martin
Kaminski, Roland
Kaufmann, Benjamin
Schaub, Torsten
Griffith University Author(s)
Year published
2009
Metadata
Show full item recordAbstract
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.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.
View less >
View less >
Book Title
Recent Advances in Parallel Virtual Machine and Message Passing Interface
Publisher URI
Copyright Statement
© 2009 Springer. The attached file is reproduced here in accordance with the copyright policy of the publisher. Use hypertext link for access to the publisher's website.