DRAT Proofs, Propagation Redundancy, and Extended Resolution.

Sam Buss, Neil Thapen

Browse the full SAT paper archive.