D. Speck and M. Katz, “Symbolic Search for Oversubscription Planning”, AAAI, vol. 35, no. 13, pp. 11972-11980, May 2021.