Tabu Search for solving constraint satisfaction problems