Speck, David, Florian Geißer, and Robert Mattmüller. 2018. “Symbolic Planning With Edge-Valued Multi-Valued Decision Diagrams”. Proceedings of the International Conference on Automated Planning and Scheduling 28 (1):250-58. https://doi.org/10.1609/icaps.v28i1.13890.