@misc{indiciae003ec6c87ef4,
  title = {Solving bitvectors with MCSAT: explanations from bits and pieces (long version)},
  author = {Stéphane Graham-Lengrand and Dejan Jovanović and Bruno Dutertre},
  year = {2020},
  url = {https://arxiv.org/abs/2004.07940},
  note = {Source identifier: 2004.07940}
}