@inproceedings{NiemetzPreinerBiere-SMT-Competition-2019,
  author = {Aina Niemetz and Mathias Preiner and Armin Biere},
  title = {{Boolector at the SMT competition 2019}},
  editor = {Joe Hendrix and Natasha Sharygina},
  booktitle = {Proceedings of the 17th International Workshop on
               Satisfiability Modulo Theories ({SMT} 2019),
               affiliated with the 22nd International Conference on
               Theory and Applications of Satisfiability Testing ({SAT} 2019),
               Lisbon, Portugal, July 7-8, 2019},
  pages={2 pages},
  year={2019},
}