Lelis, L., Stern, R., & Sturtevant, N. (2021). Estimating Search Tree Size with Duplicate Detection. Proceedings of the International Symposium on Combinatorial Search, 5(1), 114–122. https://doi.org/10.1609/socs.v5i1.18328