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

Authors:
William E. Walsh;Michael P. Wellman
Affiliations:
-;-
Venue:
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Year:
2000

On market-inspired approaches to propositional satisfiability

Artificial Intelligence
On market-inspired approaches to propositional satisfiability

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
Distributed SAT

Artificial Intelligence Review
CHAINME: fast decentralized finding of better supply chains

Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems

Hi-index	0.00