On Market-Inspired Approaches to Propositional Satisfiability