Increasing tree search efficiency for constraint satisfaction problems