TY  - RPRT
TI  - DRAT-based Bit-Vector Proofs in CVC4
AU  - Alex Ozdemir
AU  - Aina Niemetz
AU  - Mathias Preiner
AU  - Yoni Zohar
AU  - Clark Barrett
PY  - 2019
UR  - https://arxiv.org/abs/1907.00087
ID  - 1907.00087
ER  -