Boolector 2.0 Aina Niemetz, Mathias Preiner, Armin Biere [doi] [Google Scholar] [DBLP] [Citeseer] [url] JSAT 9 Pages 53-58 2015 Note(s): SMT solver
