Katz, Michael, and Junkyu Lee. 2023. “K∗ and Partial Order Reduction for Top-Quality Planning”. Proceedings of the International Symposium on Combinatorial Search 16 (1):143-47. https://doi.org/10.1609/socs.v16i1.27293.