@inproceedings{hoeft-et-al-kr2025,
  author       = {Paul H{\"o}ft and David Speck and Jendrik Seipp},
  title        = {Representing Perfect Saturated Cost Partitioning Heuristics in Classical
    Planning},
  editor       = {Magdalena Ortiz and Renata Wassermann and Torsten Schaub},
  booktitle    = {Proceedings of the Twenty-Second International Conference on Principles
    of Knowledge Representation and Reasoning (KR 2025)},
  publisher    = {IJCAI Organization},
  year         = 2025,
}