Reference author: VIjay Ganesh

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.