Translation-Based Constraint Answer Set Solving.

Christian Drescher, Toby Walsh

Browse the full IJCAI paper archive.