Multiple Constraint Satisfaction by Belief Propagation: An Example Using Sudoku