Raphael Kreft, Clemens Büchner, Silvan Sievers, Malte Helmert. Computing Domain Abstractions for Optimal Classical Planning with Counterexample-Guided Abstraction Refinement. In Sven Koenig, Roni Stern, Mauro Vallati, editors, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic. pages 221-226, AAAI Press, 2023. [doi]
Abstract is missing.