Nathan Wetzler
According to our database1,
Nathan Wetzler
authored at least 7 papers
between 2013 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017
2015
Proceedings of the Automated Deduction - CADE-25, 2015
2014
Bridging the gap between easy generation and efficient verification of unsatisfiability proofs.
Softw. Test. Verification Reliab., 2014
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014
2013
Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013
Proceedings of the Formal Methods in Computer-Aided Design, 2013
Proceedings of the Automated Deduction - CADE-24, 2013