% @string{sac=" Annual ACM Symposium on Applied Computing"} % @string{sac09="Proceedings of SAC-09: 24th" # sac} @string{sac=" SAC"} @string{sac09="24th" # sac} @inproceedings{kss09:decimation, author={Kroc, Lukas and Sabharwal, Ashish and Selman, Bart}, title={Message-Passing and Local Heuristics as Decimation Strategies for Satisfiability}, booktitle=sac09, address={Honolulu, HI}, month=mar, year=2009, pages={1408-1414}}