Author Info
Name
Affiliation
Papers
ZACK NEWSHAM
Univ Waterloo, Waterloo, ON N2L 3G1, Canada
6
Collaborators
Citations 
PageRank 
19
46
3.03
Referers 
Referees 
References 
128
201
70
Search Limit
100201
Title
Citations
PageRank
Year
Predicting SAT Solver Performance on Heterogeneous Hardware.00.342018
A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers.10.342017
Intersert: Assertions on Distributed Process Interaction Sessions00.342017
Code obfuscation against symbolic execution attacks.200.762016
SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers50.432015
Impact of Community Structure on SAT Solver Performance.200.822014