@techreport{69b9cb63b5b3447ebce5775f6a7218f5,
title = "Boolector at the SMT competition 2016",
abstract = "This paper serves as solver description for our SMT solver Boolector, entering the SMT Competition 2016 in two different configurations. We only list important differences to earlier version of Boolector in the SMT Competition 2015 [3]. For further information we refer to [2] or source code.",
author = "Aina Niemetz and Mathias Preiner and Armin Biere",
year = "2016",
month = jun,
language = "English",
series = "FMV Reports Series, Institute for Formal Models and Verification",
publisher = "Johannes Kepler University",
type = "WorkingPaper",
institution = "Johannes Kepler University",
}