Reference author: Zack Newsham

Newsham, Z., Ganesh, V., & Fischmeister, S. (2015). Predicting SAT Solver Performance on Heterogeneous Hardware Presented at the Proceedings of the Workshop on the Pragmatics of SAT at the International Conference on Theory and Applications of Satisfiability Testing (SAT) conference. Austin, USA.

Newsham, Z., Lindsay, W., Ganesh, V., Liang, J. H., Fischmeister, S., & Czarnecki, K. (2015). SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers Presented at the International Conference on Theory and Applications of Satisfiability Testing (SAT) conference. Austin, USA: Springer. https://doi.org/10.1007/978-3-319-24318-4_6 (Original work published)

Newsham, Z., Ganesh, V., Fischmeister, S., Audemard, G., & Simon, L. (2014). Impact of Community Structure on SAT Solver Performance 17th International Conference on Theory and Applications of Satisfiability Testing (SAT), 252-268. Vienna, Austria.

Newsham, Z., Oliveira, A., Petkovich, J., Rehman, A., Tchamgoue, G., & Fischmeister, S. (2017). Intersert: Assertions on Distributed Process Interaction Sessions Presented at the IEEE International Conference on Software Quality, Reliability & Security (QRS) conference. Prague, Czech Republic.