@article{NiemetzPreinerBiere-JSAT15,
  title={Boolector 2.0 system description},
  author={Aina Niemetz and Mathias Preiner and Armin Biere},
  journal={Journal on Satisfiability, Boolean Modeling and Computation},
  volume={9},
  pages={53-58},
  year={2014 (published 2015)},
  publisher={IOS Press},
}