Platypus: A Platform for Distributed Answer Set Solving.

Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy

Browse the full LPNMR paper archive.