On Market-Inspired Approaches to Propositional Satisfiability

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.

• Type: Conference
• Year: 2001
• Where: IJCAI
• Authors: William E. Walsh, Makoto Yokoo, Katsutoshi Hirayama, Michael P. Wellman
• Keywords: IJCAI 2001, IJCAI 2007, Market Protocols, Performance, Simplified Market Structure