Reformulation of Global Constraints in Answer Set Programming

Open in new window