@misc{indiciae9641fce9b03d,
  title = {DRAT-based Bit-Vector Proofs in CVC4},
  author = {Alex Ozdemir and Aina Niemetz and Mathias Preiner and Yoni Zohar and Clark Barrett},
  year = {2019},
  url = {https://arxiv.org/abs/1907.00087},
  note = {Source identifier: 1907.00087}
}