Experiences Running a Parallel Answer Set Solver on Blue Gene
File version
Author(s)
Schnor, Bettina
Gebser, Martin
Kaminski, Roland
Kaufmann, Benjamin
Schaub, Torsten
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Matti Ropo, Jan Westerholm and Jack Dongarra
Date
Size
188633 bytes
File type(s)
application/pdf
Location
License
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.
Journal Title
Conference Title
Book Title
Recent Advances in Parallel Virtual Machine and Message Passing Interface
Edition
Volume
Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights 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.