Nathan Wetzler

According to our database, Nathan Wetzler authored at least 7 papers between 2013 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2017

Efficient, Verified Checking of Propositional Proofs.

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

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

2015

Expressing Symmetry Breaking in DRAT Proofs.

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

Proceedings of the Automated Deduction - CADE-25, 2015

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

DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs.

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

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

2013

Mechanical Verification of SAT Refutations with Extended Resolution.

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

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

Trimming while checking clausal proofs.

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

Proceedings of the Formal Methods in Computer-Aided Design, 2013

Verifying Refutations with Extended Resolution.

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

Proceedings of the Automated Deduction - CADE-24, 2013