Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination.

Masood Feyzbakhsh Rankooh, Tomi Janhunen

Browse the full LPNMR paper archive.