@article{Sievers_Wehrle_Helmert_Shleyfman_Katz_2015, title={Factored Symmetries for Merge-and-Shrink Abstractions}, volume={29}, url={https://ojs.aaai.org/index.php/AAAI/article/view/9642}, DOI={10.1609/aaai.v29i1.9642}, abstractNote={ <p> Merge-and-shrink heuristics crucially rely on effective reduction techniques, such as bisimulation-based shrinking, to avoid the combinatorial explosion of abstractions. We propose the concept of factored symmetries for merge-and-shrink abstractions based on the established concept of symmetry reduction for state-space search. We investigate under which conditions factored symmetry reduction yields perfect heuristics and discuss the relationship to bisimulation. We also devise practical merging strategies based on this concept and experimentally validate their utility. </p> }, number={1}, journal={Proceedings of the AAAI Conference on Artificial Intelligence}, author={Sievers, Silvan and Wehrle, Martin and Helmert, Malte and Shleyfman, Alexander and Katz, Michael}, year={2015}, month={Mar.} }