Speck, D.; Mattmüller, R.; Nebel, B. Symbolic Top-K Planning. AAAI 2020, 34, 9967-9974.