Reference:
 - Author: A. Niemetz and M. Preiner and C. Wolf, C. and A. Biere
   Title: BTOR2 , BtorMC and Boolector 3.0
   Journal: Springer Nature Link
   Year: 2018
   DOI: 10.1007/978-3-319-96145-3_32
   eprint: https://link.springer.com/content/pdf/10.1007/978-3-319-96145-3.pdf
