Concepedia

Nathan Wetzler

NW

Statistics

Publications

2

Citations

125

H-Index

2

Active since

2013

Affiliations

The University of Texas at Austin(Current)

Nathan Wetzler is an author at The University of Texas at Austin specializing in formal verification, proof complexity, and automated reasoning.

Top concepts

Publications per year

2013–2014

2

Publications

2

Trimming while checking clausal proofs

Marijn J. H. Heule, Warren A. Hunt, Nathan Wetzler · 2013 · 106 citations

, , +17

Bridging the gap between easy generation and efficient verification of unsatisfiability proofs

Marijn J. H. Heule, Warren A. Hunt, Nathan Wetzler · Software Testing Verification and Reliability · 2014 · 19 citations

, , +19

1–2 of 2