@misc{indiciae6d42c36b375c,
  title = {On the Complexity of the Quantified Bit-Vector Arithmetic with Binary Encoding},
  author = {Martin Jonáš and Jan Strejček},
  year = {2018},
  doi = {10.1016/j.ipl.2018.02.018},
  url = {https://arxiv.org/abs/1612.01263},
  note = {Source identifier: 1612.01263}
}