Global Optimization Methods based on Tabu Search