Expressing Symmetry Breaking in DRAT Proofs.

Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler

Browse the full CADE paper archive.