Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs

Stephan Gocht, Jakob Nordström

The dramatic improvements in combinatorial optimization algorithms over the last decades have had a major impact in artificial intelligence, operations research, and beyond, but th…