1
Published 2005
Table of Contents: ... and Computation -- Platypus: A Platform for Distributed Answer Set Solving -- Solving Hard ASP Programs...
View full text
Electronic eBook