"Enhanced Symmetry Breaking in Cost-Optimal Planning as Forward Search."

Carmel Domshlak, Michael Katz, Alexander Shleyfman (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics