TY  - RPRT
TI  - WSAT(cc) - a fast local-search ASP solver
AU  - Lengning Liu
AU  - Miroslaw Truszczynski
PY  - 2003
UR  - https://arxiv.org/abs/cs/0310062
ID  - cs/0310062
ER  -