%0 Conference Paper %1 conf/lpnmr/LiuT04 %A Liu, Lengning %A Truszczynski, Miroslaw %B LPNMR %D 2004 %E Lifschitz, Vladimir %E Niemelä, Ilkka %I Springer %K dblp %P 351-355 %T WSAT(CC) - A Fast Local-Search ASP Solver. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2004.html#LiuT04 %V 2923 %@ 3-540-20721-X

@inproceedings{conf/lpnmr/LiuT04, added-at = {2017-05-23T00:00:00.000+0200}, author = {Liu, Lengning and Truszczynski, Miroslaw}, biburl = {https://www.bibsonomy.org/bibtex/2ba581819bb421b85bf109608eddcc91b/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2004}, editor = {Lifschitz, Vladimir and Niemelä, Ilkka}, ee = {https://doi.org/10.1007/978-3-540-24609-1_33}, interhash = {f5832abf13fe1b203efe48bcd25c0064}, intrahash = {ba581819bb421b85bf109608eddcc91b}, isbn = {3-540-20721-X}, keywords = {dblp}, pages = {351-355}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:00:34.000+0200}, title = {WSAT(CC) - A Fast Local-Search ASP Solver.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2004.html#LiuT04}, volume = 2923, year = 2004 }