Paper Pseudo-Boolean Proof Logging for Optimal Classical Planning Simon Dold, Malte Helmert, Jakob Nordström, Gabriele Röger and Tanja Schindler accepted at the 35th International Conference on Automated Planning and Scheduling (ICAPS25). (PDF)