R. Le Bras, C. Gomes, and B. Selman, “From Streamlined Combinatorial Search to Efficient Constructive Procedures”, AAAI, vol. 26, no. 1, pp. 499–506, Sep. 2021.