Zulkoski, E., Martins, R., Wintersteiger, C., Robere, R., Liang, J. H., Czarnecki, K., & Ganesh, V. (2017). Empirically Relating Complexity-theoretic Parameters with SAT Solver Performance Presented at the Empirically Relating Complexity-Theoretic Parameters With SAT Solver Performance conference. EPIC. (Original work published 2017)