DOLD, S.; HELMERT, M.; NORDSTRÖM, J.; RÖGER, G.; SCHINDLER, T. Pseudo-Boolean Proof Logging for Optimal Classical Planning. Proceedings of the International Conference on Automated Planning and Scheduling, [S. l.], v. 35, n. 1, p. 54-63, 2025. DOI: 10.1609/icaps.v35i1.36101. Disponível em: https://ojs.aaai.org/index.php/ICAPS/article/view/36101. Acesso em: 28 apr. 2026.