Speck, David, and Michael Katz. 2021. “Symbolic Search for Oversubscription Planning”. Proceedings of the AAAI Conference on Artificial Intelligence 35 (13):11972-80. https://doi.org/10.1609/aaai.v35i13.17422.