Lelis, Levi, et al. “Estimating Search Tree Size With Duplicate Detection”. Proceedings of the International Symposium on Combinatorial Search, vol. 5, no. 1, Sept. 2021, pp. 114-22, doi:10.1609/socs.v5i1.18328.