A user's guide to tabu search
future paths for integer programming and links to artificial intelligence .