Richard Tichy

According to our database, Richard Tichy authored at least 2 papers between 2005 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2006

On Probing and Multi-Threading in Platypus.

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

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005

Platypus: A Platform for Distributed Answer Set Solving.

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

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005