Ten Challenges Redux : Recent Progress in Propositional Reasoning and Search