@inproceedings{SBGKKS2009, title = {{Experiences Running a Parallel Answer Set Solver on Blue Gene}}, author = {Lars Schneidenbach and Bettina Schnor and Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub}, booktitle = {{16th European PVM/MPI Users' Group Meeting}, year = {2009}, mon = sep, address = {{Espoo, Finland}}, editors = {Jack Dongarra and Matti Ropo and Jan Westerholm}, publisher = {{Spinger, Lecture Notes in Computer Science}}, }