Verifying Refutations with Extended Resolution. - Marijn Heule; Warren A. Hunt Jr.; Nathan Wetzler (CADE, 2013)

Trimming while checking clausal proofs. - Marijn Heule; Warren A. Hunt Jr.; Nathan Wetzler (FMCAD, 2013)

Mechanical Verification of SAT Refutations with Extended Resolution. - Nathan Wetzler; Marijn Heule; Warren A. Hunt Jr. (ITP, 2013)

DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs. - Nathan Wetzler; Marijn Heule; Warren A. Hunt Jr. (SAT, 2014)

Bridging the gap between easy generation and efficient verification of unsatisfiability proofs. - Marijn Heule; Warren A. Hunt Jr.; Nathan Wetzler (Softw. Test. Verification Reliab., 2014)

Expressing Symmetry Breaking in DRAT Proofs. - Marijn Heule; Warren A. Hunt Jr.; Nathan Wetzler (CADE, 2015)

Efficient, Verified Checking of Propositional Proofs. - Marijn Heule; Warren A. Hunt Jr.; Matt Kaufmann; Nathan Wetzler (ITP, 2017)