Login / Signup
Experiences Running a Parallel Answer Set Solver on Blue Gene.
Lars Schneidenbach
Bettina Schnor
Martin Gebser
Roland Kaminski
Benjamin Kaufmann
Torsten Schaub
Published in:
PVM/MPI (2009)
Keyphrases
</>
answer sets
massively parallel
blue gene
logic programs
answer set programming
logic programming
answer set programs
normal logic programs
parallel processing
parallel programming
parallel computing
fixpoint
stable models
loop formulas
sat solvers
shared memory
fine grained
special case