@misc{indiciae2c4fc2ef59ff,
  title = {Z3str3: A String Solver with Theory-aware Branching},
  author = {Murphy Berzish and Yunhui Zheng and Vijay Ganesh},
  year = {2017},
  url = {https://arxiv.org/abs/1704.07935},
  note = {Source identifier: 1704.07935}
}