@article{relatingcomplexitytheoreticparameterswit,
  title = {Relating Complexity-theoretic Parameters with SAT Solver Performance},
  author = {Edward Zulkoski and Ruben Martins and Christoph Wintersteiger and Robert Robere and Jia Liang and Krzysztof Czarnecki and Vijay Ganesh},
  year = {2017},
  eprint = {1706.08611},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1706.08611v1},
}