1.
Gocht S, Nordström J. Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs. AAAI [Internet]. 2021May18 [cited 2021Oct.21];35(5):3768-77. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/16494