"State-space search, finding paths in huge, implicitly given graphs, is a fundamental problem in artificial intelligence and other areas of computer science. State-space search algorithms like A*, IDA* and greedy best-first search are major success stories in artificial intelligence, and hundreds of papers based on variations of these algorithms are published every year. Due to this success, the m ...