TY  - RPRT
TI  - Relating Complexity-theoretic Parameters with SAT Solver Performance
AU  - Edward Zulkoski
AU  - Ruben Martins
AU  - Christoph Wintersteiger
AU  - Robert Robere
AU  - Jia Liang
AU  - Krzysztof Czarnecki
AU  - Vijay Ganesh
PY  - 2017
UR  - https://arxiv.org/abs/1706.08611
ID  - 1706.08611
ER  -