On market-inspired approaches to propositional satisfiability

William E. Walsh, Makoto Yokoo, Katsutoshi Hirayama, Michael P. Wellman

Research output: Contribution to journalArticlepeer-review

5 Citations (Scopus)

Abstract

We describe three market-inspired approaches to propositional satisfiability. The first is based on a formulation of satisfiability as production on a supply chain, where producers of particular variable assignments must acquire licenses to fail to satisfy particular clauses. Experiments show that although this general supply-chain protocol can converge to market allocations corresponding to satisfiable truth assignments, it is impractically slow. We find that a simplified market structure and a variation on the pricing method can improve performance significantly. We compare the performance of the three market-based protocols with distributed breakout algorithm and GSAT on benchmark 3-SAT problems. We identify a tradeoff between performance and economic realism in the market protocols, and a tradeoff between performance and the degree of decentralization between the market protocols and distributed breakout. We also conduct informal and experimental analyses to gain insight into the operation of price-guided search.

Original languageEnglish
Pages (from-to)125-156
Number of pages32
JournalArtificial Intelligence
Volume144
Issue number1-2
DOIs
Publication statusPublished - Mar 2003
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Language and Linguistics
  • Linguistics and Language
  • Artificial Intelligence

Fingerprint Dive into the research topics of 'On market-inspired approaches to propositional satisfiability'. Together they form a unique fingerprint.

Cite this