Rovner A, Sievers S, Helmert M. Counterexample-Guided Abstraction Refinement for Pattern Selection in Optimal Classical Planning. ICAPS [Internet]. 2021May25 [cited 2024Apr.19];29(1):362-7. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/3499