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