Abstraction in search works by replacing a state space by another space (the abstract space) that is easier to search, either because it is smaller or because it contains more solutions. Results of searches in the abstract ...