Aina Niemetz, Mathias Preiner, Armin Biere,
"Boolector 2.0."
, in Journal on Satisfiability, Boolean Modeling and Computation, Vol. 9, Seite(n) 53-58, 2015, ISSN: 1875-5011
Original Titel:
Boolector 2.0.
Sprache des Titels:
Englisch
Original Kurzfassung:
In this paper, we discuss the most important changes and new features introduced
with version 2.0 of our SMT solver Boolector, which placed first in the
QF BV and QF ABV tracks of the SMT competition 2014. We further outline some
features and techniques that were not yet described in the context of Boolector.
Sprache der Kurzfassung:
Englisch
Journal:
Journal on Satisfiability, Boolean Modeling and Computation
Forschungs-