Solving Weighted Constraint Satisfaction Problems with Memetic/Exact Hybrid Algorithms