Combining Exact Methods and Heuristics