MASP-Reduce: A Proposal for Distributed Computation of Stable Models.

Federico Igne, Agostino Dovier, Enrico Pontelli

Browse the full ICLP paper archive.