Speck, D.; Katz, M. Symbolic Search for Oversubscription Planning. AAAI 2021, 35, 11972-11980.