Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy. Platypus: A Platform for Distributed Answer Set Solving. In Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina, editors, Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings. Volume 3662 of Lecture Notes in Computer Science, pages 227-239, Springer, 2005. [doi]
Abstract is missing.