TY - GEN
T1 - Symmetry breaking
T2 - 23rd International Conference on Automated Planning and Scheduling, ICAPS 2013
AU - Domshlak, Carmel
AU - Katz, Michael
AU - Shleyfman, Alexander
PY - 2013
Y1 - 2013
N2 - Searching for computational tools that can further push the boundary of satisfying 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.
AB - Searching for computational tools that can further push the boundary of satisfying 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.
UR - http://www.scopus.com/inward/record.url?scp=84889820127&partnerID=8YFLogxK
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:84889820127
SN - 9781577356097
T3 - ICAPS 2013 - Proceedings of the 23rd International Conference on Automated Planning and Scheduling
SP - 298
EP - 302
BT - ICAPS 2013 - Proceedings of the 23rd International Conference on Automated Planning and Scheduling
Y2 - 10 June 2013 through 14 June 2013
ER -