On Weakening Strategies for PB Solvers