Solving Constraint Satisfaction Problems through Belief Propagation-guided decimation | Read Paper on Bytez