Solving Constraint Satisfaction Problems through Belief Propagation-guided decimation