Symmetric Splitting in the General Theory of Stable Models.

Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla

Browse the full IJCAI paper archive.