Statistics
Publications
2
Citations
126
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 conflict-driven clause learning, theorem proving, and constraint satisfaction.
Publications per year
2013–2014
2
2
Trimming while checking clausal proofs
Marijn J. H. Heule, Warren A. Hunt, Nathan Wetzler · 2013 · 106 citations
1–2 of 2