Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming.

Masood Feyzbakhsh Rankooh, Tomi Janhunen

Browse the full IJCAI paper archive.