Sciweavers

PVM
2009
Springer
14 years 6 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,...