ICAPS 2012 - Session Ib: Combining Heuristics and Search for Optimal Planning. Session Chair: Derek Long.
Paper 1: " About Partial Order Reduction in Planning and Computer Aided Verification", by M. Wehrle and M. Helmert
Paper 2: " Pruning Methods for Optimal Delete-Free Planning", by A. Gefen and R. Brafman
Paper 3: " Optimal Planning for Delete-free Tasks with Incremental LM-cut (short paper)", by F. Pommerening and M. Helmert.
Paper 4: " Enhanced Symmetry Breaking in Cost-Optimal Planning as Forward Search (short paper)", by C. Domshlak, M. Katz and A. Shleyfman
27/06/2012