Platypus: A platform for distributed answer set solving (2005)

Cached

Download Links

by Jean Gressmann , Tomi Janhunen , Robert E. Mercer , Torsten Schaub , Sven Thiele , Richard Tichy
Venue:in Proc. of the Eighth International Conference on Logic Programming and Nonmonotonic Reasoning
Citations:8 - 2 self