Gocht, S. and Nordström, J. 2021. Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs. Proceedings of the AAAI Conference on Artificial Intelligence. 35, 5 (May 2021), 3768-3777. DOI:https://doi.org/10.1609/aaai.v35i5.16494.