Conference Proceedings
Logical encodings with no time indexes for defining and computing admissible heuristics for planning
Miquel Ramirez, Blai Bonet, Héctor Geffner
Workshop on Heuristics for Domain Independent Planning (HDIP-07) | Published : 2007