Login / Signup
Richard Tichy
Publication Activity (10 Years)
Years Active: 2005-2006
Publications (10 Years): 0
</>
Publications
</>
Jean Gressmann
,
Tomi Janhunen
,
Robert E. Mercer
,
Torsten Schaub
,
Sven Thiele
,
Richard Tichy
On Probing and Multi-Threading in Platypus.
ECAI
(2006)
Jean Gressmann
,
Tomi Janhunen
,
Robert E. Mercer
,
Torsten Schaub
,
Sven Thiele
,
Richard Tichy
Platypus: A Platform for Distributed Answer Set Solving.
LPNMR
(2005)