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. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/978-3-642-03770-2_13 | PVM/MPI |
Keywords | Field | DocType |
powerful clasp solver,answer set programming,blue gene p,parallel answer set solver,parallel version,message passing | Programming language,Computer science,Parallel computing,Blue gene,Solver,Answer set programming | Conference |
Volume | ISSN | Citations |
5759 | 0302-9743 | 3 |
PageRank | References | Authors |
0.48 | 16 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Lars Schneidenbach | 1 | 49 | 7.02 |
Bettina Schnor | 2 | 142 | 26.36 |
Martin Gebser | 3 | 1909 | 90.30 |
Roland Kaminski | 4 | 642 | 31.79 |
Benjamin Kaufmann | 5 | 1132 | 43.94 |
Torsten Schaub | 6 | 3150 | 191.50 |