TY  - RPRT
TI  - Bitwuzla at the SMT-COMP 2020
AU  - Aina Niemetz
AU  - Mathias Preiner
PY  - 2020
UR  - https://arxiv.org/abs/2006.01621
ID  - 2006.01621
ER  -