Gnad, Daniel, Álvaro Torralba, and Jörg Hoffmann. 2021. “Symbolic Leaf Representation in Decoupled Search”. Proceedings of the International Symposium on Combinatorial Search 8 (1):124-28. https://doi.org/10.1609/socs.v8i1.18439.