DRAT Proofs for XOR Reasoning.

Tobias Philipp, Adrian Rebola-Pardo

Browse the full JELIA paper archive.