@inproceedings{GrahamLengrandJovanovicDutertre:IJCAR2020,
  author = {{St\'ephane} Graham-Lengrand and Dejan Jovanovi{\'c} and Bruno Dutertre},
  title = {Solving bitvectors with {MCSAT}: explanations from bits and pieces},
  note = {Accepted for publication},
  editor = {Nicolas Peltier and Viorica Sofronie-Stokkermans},
  booktitle = {Proceedings of the  10th  International  Joint  Conference  on
               Automated Reasoning (IJCAR'20)},
  place = {Paris, France},
  year = {2020},
  month = jul,
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science}
}