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.
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.