Nathan Wetzler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2013–2017
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ITP | Efficient, Verified Checking of Propositional Proofs. | Marijn Heule, Warren A. Hunt Jr., Matt Kaufmann, Nathan Wetzler |
| 2015 | CADE | Expressing Symmetry Breaking in DRAT Proofs. | Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler |
| 2014 | SAT | DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs. | Nathan Wetzler, Marijn Heule, Warren A. Hunt Jr. |
| 2013 | CADE | Verifying Refutations with Extended Resolution. | Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler |
| 2013 | FMCAD | Trimming while checking clausal proofs. | Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler |
| 2013 | ITP | Mechanical Verification of SAT Refutations with Extended Resolution. | Nathan Wetzler, Marijn Heule, Warren A. Hunt Jr. |