On the Combination of Constraint Programming and Stochastic Search: The Sudoku Case