Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP.

Islam Elkabani, Enrico Pontelli, Tran Cao Son

Browse the full ICLP paper archive.