Sciweavers

70
Voted
PVM
2009
Springer
15 years 3 months ago
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 ...
Lars Schneidenbach, Bettina Schnor, Martin Gebser,...