Improving A* for memory: IDA*