Speck, David, Florian Geißer, and Robert Mattmüller. “Symbolic Planning With Edge-Valued Multi-Valued Decision Diagrams”. Proceedings of the International Conference on Automated Planning and Scheduling 28, no. 1 (June 15, 2018): 250-258. Accessed April 24, 2024. https://ojs.aaai.org/index.php/ICAPS/article/view/13890.