Walsh and Wellman. "MarketSAT: An Extremely Decentralized (but Really Slow) Algorithm for Propositional Satisfiability." AAAI Conference on Artificial Intelligence, 2000.
Markdown
[Walsh and Wellman. "MarketSAT: An Extremely Decentralized (but Really Slow) Algorithm for Propositional Satisfiability." AAAI Conference on Artificial Intelligence, 2000.](https://mlanthology.org/aaai/2000/walsh2000aaai-marketsat/)
BibTeX
@inproceedings{walsh2000aaai-marketsat,
title = {{MarketSAT: An Extremely Decentralized (but Really Slow) Algorithm for Propositional Satisfiability}},
author = {Walsh, William E. and Wellman, Michael P.},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2000},
pages = {303-309},
url = {https://mlanthology.org/aaai/2000/walsh2000aaai-marketsat/}
}