%0 Conference Paper %1 conf/sac/KrocSS09 %A Kroc, Lukas %A Sabharwal, Ashish %A Selman, Bart %B SAC %D 2009 %E Shin, Sung Y. %E Ossowski, Sascha %I ACM %K dblp %P 1408-1414 %T Message-passing and local heuristics as decimation strategies for satisfiability. %U http://dblp.uni-trier.de/db/conf/sac/sac2009.html#KrocSS09 %@ 978-1-60558-166-8

@inproceedings{conf/sac/KrocSS09, added-at = {2018-11-06T00:00:00.000+0100}, author = {Kroc, Lukas and Sabharwal, Ashish and Selman, Bart}, biburl = {https://www.bibsonomy.org/bibtex/262a2752fddc22bd1298d45b226c57e58/dblp}, booktitle = {SAC}, crossref = {conf/sac/2009}, editor = {Shin, Sung Y. and Ossowski, Sascha}, ee = {https://doi.org/10.1145/1529282.1529596}, interhash = {7d5c0fc582f4256fe613927ec32f286a}, intrahash = {62a2752fddc22bd1298d45b226c57e58}, isbn = {978-1-60558-166-8}, keywords = {dblp}, pages = {1408-1414}, publisher = {ACM}, timestamp = {2018-11-07T13:11:25.000+0100}, title = {Message-passing and local heuristics as decimation strategies for satisfiability.}, url = {http://dblp.uni-trier.de/db/conf/sac/sac2009.html#KrocSS09}, year = 2009 }