Nathan Wetzler

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 1

Top Topics

Symmetry Breaking

Quantified Boolean Formulae

Theorem Proving

Decision Procedures

Top Venues

Softw. Test. Verification Reliab.

Publications

Marijn Heule, Warren A. Hunt Jr., Matt Kaufmann, Nathan Wetzler
Efficient, Verified Checking of Propositional Proofs. ITP (2017)
Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler
Expressing Symmetry Breaking in DRAT Proofs. CADE (2015)
Nathan Wetzler, Marijn Heule, Warren A. Hunt Jr.
DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs. SAT (2014)
Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler
Bridging the gap between easy generation and efficient verification of unsatisfiability proofs. Softw. Test. Verification Reliab. 24 (8) (2014)
Nathan Wetzler, Marijn Heule, Warren A. Hunt Jr.
Mechanical Verification of SAT Refutations with Extended Resolution. ITP (2013)
Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler
Trimming while checking clausal proofs. FMCAD (2013)
Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler
Verifying Refutations with Extended Resolution. CADE (2013)