@inproceedings{ElffersGGNS18,
  author    = {Jan Elffers and Jes{\'{u}}s Gir{\'{a}}ldez{-}Cru and Stephan Gocht and Jakob Nordstr{\"{o}}m and Laurent Simon},
  title     = {Seeking Practical {CDCL} Insights from Theoretical {SAT} Benchmarks},
  booktitle = {Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI'18)},
  pages     = {1300--1308},
  year      = {2018},
}