Propositional lower bounds: generalization and algorithms