Browse by Basel Contributors ID
Rovner, Alexander and Sievers, Silvan and Helmert, Malte. (2019) Counterexample-Guided Abstraction Refinement for Pattern Selection in Optimal Classical Planning. In: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 29. pp. 362-367. |