Search and Inference in AI Planning