TY  - RPRT
TI  - Pseudo-Boolean Proof Logging for Optimal Classical Planning
AU  - Simon Dold
AU  - Malte Helmert
AU  - Jakob Nordström
AU  - Gabriele Röger
AU  - Tanja Schindler
PY  - 2025
UR  - https://arxiv.org/abs/2504.18443
ID  - 2504.18443
ER  -