On market-inspired approaches to propositional satisfiability

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

Research output: Contribution to journalConference article

5 Citations (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)1152-1158
Number of pages7
JournalIJCAI International Joint Conference on Artificial Intelligence
Publication statusPublished - Dec 1 2001
Event17th International Joint Conference on Artificial Intelligence, IJCAI 2001 - Seattle, WA, United States
Duration: Aug 4 2001Aug 10 2001

Fingerprint

Network protocols
Parallel algorithms
Economics
Costs

All Science Journal Classification (ASJC) codes

  • Artificial Intelligence

Cite this

On market-inspired approaches to propositional satisfiability. / Walsh, William E.; Yokoo, Makoto; Hirayama, Katsutoshi; Wellman, Michael P.

In: IJCAI International Joint Conference on Artificial Intelligence, 01.12.2001, p. 1152-1158.

Research output: Contribution to journalConference article

Walsh, William E. ; Yokoo, Makoto ; Hirayama, Katsutoshi ; Wellman, Michael P. / On market-inspired approaches to propositional satisfiability. In: IJCAI International Joint Conference on Artificial Intelligence. 2001 ; pp. 1152-1158.
@article{9c0efc5b69224c88af8168f06df36419,
title = "On market-inspired approaches to propositional satisfiability",
abstract = "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.",
author = "Walsh, {William E.} and Makoto Yokoo and Katsutoshi Hirayama and Wellman, {Michael P.}",
year = "2001",
month = "12",
day = "1",
language = "English",
pages = "1152--1158",
journal = "IJCAI International Joint Conference on Artificial Intelligence",
issn = "1045-0823",

}

TY - JOUR

T1 - On market-inspired approaches to propositional satisfiability

AU - Walsh, William E.

AU - Yokoo, Makoto

AU - Hirayama, Katsutoshi

AU - Wellman, Michael P.

PY - 2001/12/1

Y1 - 2001/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0002928945&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0002928945&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:0002928945

SP - 1152

EP - 1158

JO - IJCAI International Joint Conference on Artificial Intelligence

JF - IJCAI International Joint Conference on Artificial Intelligence

SN - 1045-0823

ER -