SMA*
Argument: IDA* uses too little memory
SMA* - Simplified Memory-bounded A*
Korf: SMA* 20x slower on 15 tile puzzle
Tradeoff: wasted work searching vs. wasted
work checking repeated states.
Can there be a good balance?