A sliding tile solver that uses post-hoc optimization with pattern databases for efficient heuristic search.