M. Wehrle, M. Helmert
About Partial Order Reduction in Planning and Computer Aided Verification
A. Gefen, R. Brafman
Pruning Methods for Optimal Delete-Free Planning
F. Pommerening, M. Helmert
Optimal Planning for Delete-free Tasks with Incremental LM-cut
short paper
C. Domshlak, M. Katz, A. Shleyfman
Enhanced Symmetry Breaking in Cost-Optimal Planning as Forward Search
short paper