Platypus: A Platform for Distributed Answer Set Solving

Reference:

Jean Gressmann, Tomi Janhunen, Robert Mercer, Torsten Schaub, Sven Thiele, and Richard Tichy. Platypus: A platform for distributed answer set solving. In Chitta Baral, Gianluigi Greco, Nicola Leone, and Giorgio Terracina, editors, Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 227–239, Diamante, Italy, September 2005. Springer-Verlag.

Suggested BibTeX entry:

@inproceedings{GJMSTT05:lpnmr,
    address = {Diamante, Italy},
    author = {Jean Gressmann and Tomi Janhunen and Robert Mercer and Torsten Schaub and Sven Thiele and Richard Tichy},
    booktitle = {Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning},
    editor = {Chitta Baral and Gianluigi Greco and Nicola Leone and Giorgio Terracina},
    month = {September},
    pages = {227--239},
    publisher = {Springer-Verlag},
    title = {Platypus: {A} Platform for Distributed Answer Set Solving},
    year = {2005},
}