Dold, S., Helmert, M., Nordström, J., Röger, G., & Schindler, T. (2025). Pseudo-Boolean Proof Logging for Optimal Classical Planning. Proceedings of the International Conference on Automated Planning and Scheduling, 35(1), 54-63. https://doi.org/10.1609/icaps.v35i1.36101