Katz, M. and Lee, J. 2023. K∗ and Partial Order Reduction for Top-Quality Planning. Proceedings of the International Symposium on Combinatorial Search. 16, 1 (Jul. 2023), 143–147. DOI:https://doi.org/10.1609/socs.v16i1.27293.