Вовсе не исключает тупиковых вариантов. И не умеет оценивать. Более, того, очень часто их находит. Собственно, в этом и проблема эвристик - она находит локальные экстремумы, но может легк промахнуться против глобальных. В том же ТРИЗе - найденное решение далеко ведь не всегда оптимально. И очень может быть тупиковым.

Хотя в целом, у нас действительно немного разные понимания "эвристики"