Lengning Liu Miroslaw Truszczynski WSAT(CC) - A Fast Local-Search ASP Solver. 351-355 http://dx.doi.org/10.1007/978-3-540-24609-1_33 2004 conf/lpnmr/2004 LPNMR db/conf/lpnmr/lpnmr2004.html#LiuT04