Reformulation of Global Constraints in Answer Set Programming.

Christian Drescher, Toby Walsh

Browse the full AAAI paper archive.