Heuristic Search. 1st ed. 2017 - Salhi, Saïd (Springer International Publishing, 2020)