On Probing and Multi-Threading in Platypus

The PLATYPUS approach offers a generic platform for distributed answer set solving, accommodating a variety of different architectures for distributing the search for answer sets across different processes and different search modes for modifying search behaviour. We describe two major extensions of PLATYPUS. First, we present its probing mode which provides a controlled non-linear traversal of the search space. Second, we present its new multi-threading architecture allowing for intra-process distribution. Both contributions are underpinned by experimental results illustrating their computational impact.

Authors

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

Keywords

No keywords are indexed for this paper.