Reference author: Zack Newsham

Newsham, Z. ., Ganesh, V. ., & Fischmeister, S. . (2015). Predicting SAT Solver Performance on Heterogeneous Hardware. Proceedings of the Workshop on the Pragmatics of SAT at the International Conference on Theory and Applications of Satisfiability Testing (SAT). Presented at the. 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. International Conference on Theory and Applications of Satisfiability Testing (SAT). Presented at the. 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. IEEE International Conference on Software Quality, Reliability & Security (QRS). Presented at the. Prague, Czech Republic.