Login / Signup
Zack Newsham
Publication Activity (10 Years)
Years Active: 2014-2018
Publications (10 Years): 4
Top Topics
Propositional Satisfiability
Symbolic Execution
Search Tree
Sat Solvers
Top Venues
SAT
ACSAC
POS@SAT
QRS
</>
Publications
</>