Message-passing and local heuristics as decimation strategies for satisfiability.

Lukas Kroc, Ashish Sabharwal, Bart Selman

Browse the full SAC paper archive.