Symmetry Breaking: Satisficing Planning and Landmark Heuristics

Authors

  • Carmel Domshlak Technion
  • Michael Katz Saarland University
  • Alexander Shleyfman Technion

DOI:

https://doi.org/10.1609/icaps.v23i1.13595

Keywords:

heuristic search, planning, symmetries, automorphisms, landmarks

Abstract

Searching for computational tools that can further push the boundary of satisficing planning, we show that reasoning about state-space symmetries can substantially improve even the most effective heuristic-search satisficing planners, with respect to all standard performance measures. The improvement comes from the state-space pruning, as well as from transparent cost-to-state updates and heuristic enhancement by information obtained during the search at different symmetric states.

Downloads

Published

2013-06-02

How to Cite

Domshlak, C., Katz, M., & Shleyfman, A. (2013). Symmetry Breaking: Satisficing Planning and Landmark Heuristics. Proceedings of the International Conference on Automated Planning and Scheduling, 23(1), 298-302. https://doi.org/10.1609/icaps.v23i1.13595