Speck, David, Florian Geißer, and Robert Mattmüller. 2020. “When Perfect Is Not Good Enough: On the Search Behaviour of Symbolic Heuristic Search”. Proceedings of the International Conference on Automated Planning and Scheduling 30 (1):263-71. https://doi.org/10.1609/icaps.v30i1.6670.