Gnad, D., Torralba, Álvaro, & Hoffmann, J. (2021). Symbolic Leaf Representation in Decoupled Search. Proceedings of the International Symposium on Combinatorial Search, 8(1), 124–128. https://doi.org/10.1609/socs.v8i1.18439