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

William E. Walsh Michael P. Wellman

Published in: AAAI/IAAI (2000)

Keyphrases

propositional satisfiability
dynamic programming
optimal solution
learning algorithm
objective function
computational complexity
probabilistic model
randomly generated
bayesian networks
knowledge representation