1. Generating Admissible Heuristics by Criticizing Solutions to Relaxed Models Hansson, Othar; Mayer, Andrew E.; Yung, Moti 1985 Reports Computer science