On market-inspired approaches to propositional satisfiabilityWilliam E. WalshMakoto Yokooet al.2003Artificial Intelligence