publication venue for Selecting goals in oversubscription planning using relaxed plans. 291:1-24. 2021 Symbolic perimeter abstraction heuristics for cost-optimal planning. 259:1-31. 2018 Efficient symbolic search for cost-optimal planning. 242:52-79. 2017 Automatic construction of optimal static sequential portfolios for AI planning and beyond. 226:75-101. 2015 The deterministic part of the seventh International Planning Competition. 223:82-119. 2015