Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs.

Yuliya Lierler, Marco Maratea

Browse the full LPNMR paper archive.