Heuristic Search - Salhi, Saïd (Springer International Publishing, 2017)