An efficient hash table based approach to avoid state space explosion in history driven quasi-static scheduling | Publicación