MarketSAT: An Extremely Decentralized (but Really Slow) Algorithm for Propositional Satisfiability.

William E. Walsh, Michael P. Wellman

Browse the full AAAI paper archive.