%0 Journal Article %1 journals/corr/cs-AI-0310062 %A Liu, Lengning %A Truszczynski, Miroslaw %D 2003 %J CoRR %K dblp %T WSAT(cc) - a fast local-search ASP solver %U http://dblp.uni-trier.de/db/journals/corr/corr0310.html#cs-AI-0310062 %V cs.AI/0310062

@article{journals/corr/cs-AI-0310062, added-at = {2020-01-10T00:00:00.000+0100}, author = {Liu, Lengning and Truszczynski, Miroslaw}, biburl = {https://www.bibsonomy.org/bibtex/25247f3f4adf0739c7111fcc83735cc2d/dblp}, ee = {http://arxiv.org/abs/cs/0310062}, interhash = {e0f3bd73b7dce8529ce7616518b729f6}, intrahash = {5247f3f4adf0739c7111fcc83735cc2d}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-01-11T11:41:03.000+0100}, title = {WSAT(cc) - a fast local-search ASP solver}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0310.html#cs-AI-0310062}, volume = {cs.AI/0310062}, year = 2003 }