WSAT(CC) - A Fast Local-Search ASP Solver.

Lengning Liu, Miroslaw Truszczynski

Browse the full LPNMR paper archive.