2006 | ||
---|---|---|
2 | Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy: On Probing and Multi-Threading in Platypus. ECAI 2006: 392-396 | |
2005 | ||
1 | EE | Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy: Platypus: A Platform for Distributed Answer Set Solving. LPNMR 2005: 227-239 |
1 | Tomi Janhunen | [1] [2] |
2 | Robert E. Mercer | [1] [2] |
3 | Torsten Schaub | [1] [2] |
4 | Sven Thiele | [1] [2] |
5 | Richard Tichy | [1] [2] |