Speck, D. and Katz, M. (2021) “Symbolic Search for Oversubscription Planning”, Proceedings of the AAAI Conference on Artificial Intelligence, 35(13), pp. 11972-11980. doi: 10.1609/aaai.v35i13.17422.