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