@inproceedings{NieEtAl-CAV-18,
  author    = {Aina Niemetz and
               Mathias Preiner and
               Andrew Reynolds and
               Clark Barrett and
               Cesare Tinelli},
  title     = {Solving Quantified Bit-Vectors Using Invertibility Conditions},
  booktitle = {Proceedings of the 30th International Conference on Computer Aided Verification ({CAV} 2018), Oxford, UK},
  pages     = {236--255},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-96142-2\_16},
  doi       = {10.1007/978-3-319-96142-2\_16},
}