Lukas Kroc Ashish Sabharwal Bart Selman Message-passing and local heuristics as decimation strategies for satisfiability. 1408-1414 2009 SAC http://doi.acm.org/10.1145/1529282.1529596 conf/sac/2009 db/conf/sac/sac2009.html#KrocSS09