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