[1]
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.