Unifying and Certifying Top-Quality Planning: A Comprehensive Analysis

The author unifies various computational problems under the umbrella of top-quality planning by introducing a dominance relation. They propose efficient certification methods leveraging existing tools for unsolvability and optimality.