Le Bras, R., Gomes, C., & Selman, B. (2021). From Streamlined Combinatorial Search to Efficient Constructive Procedures. Proceedings of the AAAI Conference on Artificial Intelligence, 26(1), 499–506. https://doi.org/10.1609/aaai.v26i1.8147