Lukas Kroc, Ashish Sabharwal, Bart Selman
Message-passing and local heuristics as decimation strategies for satisfiability
SAC, 2009.
@inproceedings{SAC-2009-KrocSS, author = "Lukas Kroc and Ashish Sabharwal and Bart Selman", booktitle = "{Proceedings of the 24th Symposium on Applied Computing}", doi = "10.1145/1529282.1529596", editor = "Sung Y. Shin and Sascha Ossowski", isbn = "978-1-60558-166-8", pages = "1408--1414", publisher = "{ACM}", title = "{Message-passing and local heuristics as decimation strategies for satisfiability}", year = 2009, }