Mechanical Verification of SAT Refutations with Extended Resolution.

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

Browse the full ITP paper archive.