@inproceedings{ReyEtAl-CAV-17,
  author    = {Andrew Reynolds and
               Maverick Woo and
               Clark W. Barrett and
               David Brumley and
               Tianyi Liang and
               Cesare Tinelli},
  title     = {Scaling Up {DPLL(T)} String Solvers Using Context-Dependent Simplification},
  booktitle = {Proceedings of the 29th International Conference on Computer Aided Verification (CAV 2017), Heidelberg, Germany, 2017},
  pages     = {453--474},
  doi       = {10.1007/978-3-319-63390-9\_24},
  editor    = {Rupak Majumdar and
               Viktor Kuncak},
  series    = {Lecture Notes in Computer Science},
  volume    = {10427},
  publisher = {Springer},
  year      = {2017},
}