A. J. Liu, “Icepool: Efficient Computation of Dice Pool Probabilities”, AIIDE, vol. 18, no. 1, pp. 258-265, Oct. 2022.