On market-inspired approaches to propositional satisfiability.

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

Published in: Artif. Intell. (2003)

Keyphrases

propositional satisfiability
linear programming
artificial intelligence
search space
optimization problems
sat solvers