Paper Accepted at ICAPS 2025
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)