Knowledge Processing and Information Systems
Experiences Running a Parallel Answer Set Solver on Blue Gene

@inproceedings{DBLP:conf/pvm/SchneidenbachSGKKS09,
  title = {Experiences Running a Parallel Answer Set Solver on Blue Gene},
  author = {Schneidenbach, Lars and Schnor, Bettina and Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Schaub, Torsten},
  booktitle = {{PVM/MPI}},
  pages = {64--72},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {5759},
  year = {2009}
}