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

Lengning Liu Miroslaw Truszczynski WSAT(CC) - A Fast Local-Search ASP Solver. 351-355 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2923&spage=351 2004 conf/lpnmr/2004 LPNMR db/conf/lpnmr/lpnmr2004.html#LiuT04