We describe two market-inspired approaches to propositional satisfiability. Whereas a previous market-inspired approach exhibited extremely slow performance, we find that variations on the pricing method with a simplified market structure can improve performance significantly. We compare the performance of the new protocols with the previous market protocol and with the distributed breakout algorithm on benchmark 3-SAT problems. We identify a tradeoff between performance and economic realism in the new market protocols, and a tradeoff between performance and the degree of decentralization between the new market protocols and distributed breakout. We also conduct informal and experimental analyses to gain insight into the operation of price-guided search.
|Number of pages||7|
|Journal||IJCAI International Joint Conference on Artificial Intelligence|
|Publication status||Published - 2001|
|Event||17th International Joint Conference on Artificial Intelligence, IJCAI 2001 - Seattle, WA, United States|
Duration: Aug 4 2001 → Aug 10 2001
All Science Journal Classification (ASJC) codes
- Artificial Intelligence