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. Empirically Relating Complexity-Theoretic Parameters With SAT Solver Performance. Presented at the. EPIC. (Original work published 2017)