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

Publication
Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018

Related