TY  - RPRT
TI  - Solving bitvectors with MCSAT: explanations from bits and pieces (long version)
AU  - Stéphane Graham-Lengrand
AU  - Dejan Jovanović
AU  - Bruno Dutertre
PY  - 2020
UR  - https://arxiv.org/abs/2004.07940
ID  - 2004.07940
ER  -