"Admissible heuristics for automated planning" - читать интересную книгу автора (by Patrik Haslum.)