On Market-Inspired Approaches to Propositional Satisfiability.

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

Published in: IJCAI (2001)

Keyphrases

propositional satisfiability
solving hard
information retrieval
artificial intelligence
sat solvers