Abstract | ||
---|---|---|
We propose an approach to distributed Answer Set Solving based on Message Passing. Our approach aims at taking advantage of modern ASP solvers rather than proposing a genuine yet involved parallel ASP solver. To this end, we rely upon a simple master-worker architecture in which each worker amounts to an off-the-shelf ASP solver augmented with a separate communication module being only lightly connected to the actual solver. The overall communication is driven by the workers' communication modules, which asynchronously exchange messages with the master. We have implemented our approach and report upon an empirical study demonstrating its computational impact. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/978-3-642-04238-6_47 | LPNMR |
Keywords | Field | DocType |
conflict-driven answer set solver,communication module,answer set,overall communication,asynchronously exchange message,separate communication module,actual solver,modern asp,message passing,parallel asp solver,off-the-shelf asp solver,empirical study | Architecture,Programming language,Computer science,Algorithm,Theoretical computer science,Solver,Empirical research,Message passing | Conference |
Volume | ISSN | Citations |
5753 | 0302-9743 | 11 |
PageRank | References | Authors |
0.73 | 8 | 9 |
Name | Order | Citations | PageRank |
---|---|---|---|
Enrico Ellguth | 1 | 11 | 0.73 |
Martin Gebser | 2 | 1909 | 90.30 |
Markus Gusowski | 3 | 11 | 0.73 |
Benjamin Kaufmann | 4 | 1132 | 43.94 |
Roland Kaminski | 5 | 642 | 31.79 |
Stefan Liske | 6 | 12 | 1.12 |
Torsten Schaub | 7 | 3150 | 191.50 |
Lars Schneidenbach | 8 | 49 | 7.02 |
Bettina Schnor | 9 | 142 | 26.36 |