Boolector at the SMT competition 2015. Technical Report 15/1

Aina Niemetz; Mathias Preiner; Armin Biere

Boolector at the SMT competition 2015. Technical Report 15/1

Aina Niemetz, Mathias Preiner, Armin Biere

Institute of Formal Models and Verification

Research output: Working paper and reports › Research report

Abstract

This paper serves as solver description for our SMT solver Boolector, entering the SMT Competition 2015 in three different configurations. We only list important differences to the earlier version of Boolector that participated in the SMT Competition 2014 [2]. For further information we refer to [3] or source code.

Original language	English
Place of Publication	Linz
Publisher	Johannes Kepler Universität
Number of pages	1
Volume	15/1
Publication status	Published - Jun 2015

Fields of science

102 Computer Sciences
603109 Logic
202006 Computer hardware

JKU Focus areas

Computation in Informatics and Mathematics

Cite this

@techreport{721d14318f5a434fa04d038cefd94582,

title = "Boolector at the SMT competition 2015. Technical Report 15/1",

abstract = "This paper serves as solver description for our SMT solver Boolector, entering the SMT Competition 2015 in three different configurations. We only list important differences to the earlier version of Boolector that participated in the SMT Competition 2014 [2]. For further information we refer to [3] or source code.",

author = "Aina Niemetz and Mathias Preiner and Armin Biere",

year = "2015",

month = jun,

language = "English",

volume = "15/1",

publisher = "Johannes Kepler Universit{\"a}t",

type = "WorkingPaper",

institution = "Johannes Kepler Universit{\"a}t",

}

TY - UNPB

T1 - Boolector at the SMT competition 2015. Technical Report 15/1

AU - Niemetz, Aina

AU - Preiner, Mathias

AU - Biere, Armin

PY - 2015/6

Y1 - 2015/6

N2 - This paper serves as solver description for our SMT solver Boolector, entering the SMT Competition 2015 in three different configurations. We only list important differences to the earlier version of Boolector that participated in the SMT Competition 2014 [2]. For further information we refer to [3] or source code.

AB - This paper serves as solver description for our SMT solver Boolector, entering the SMT Competition 2015 in three different configurations. We only list important differences to the earlier version of Boolector that participated in the SMT Competition 2014 [2]. For further information we refer to [3] or source code.

M3 - Research report

VL - 15/1

BT - Boolector at the SMT competition 2015. Technical Report 15/1

PB - Johannes Kepler Universität

CY - Linz

ER -