@misc{teuber2020incremental,
  title={An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-Vectors}, 
  author={Samuel Teuber and Marko Kleine Büning and Carsten Sinz},
  year={2020},
  eprint={2008.10061},
  archivePrefix={arXiv},
  primaryClass={cs.LO}
}