Le Bras, R.; Gomes, C.; Selman, B. From Streamlined Combinatorial Search to Efficient Constructive Procedures. AAAI 2021, 26, 499-506.