Nir Lipovetzky, Christian Muise, Hector Geffner
Traps, Invariants, and Dead-Ends
short paper
Categories
ICAPSInternational Conference on Automated Planning and Scheduling
ICAPSNir Lipovetzky, Christian Muise, Hector Geffner
Traps, Invariants, and Dead-Ends
short paper