h1

h2

h3

h4

h5
h6
TY  - CONF
AU  - Corzilius, Florian
AU  - Kremer, Gereon
AU  - Junges, Sebastian
AU  - Schupp, Stefan
AU  - Ábrahám, Erika
TI  - SMT-RAT : an Open Source C++ Toolbox for Strategic and Parallel SMT Solving
VL  - 9340
CY  - Cham
PB  - Springer International Publishing
M1  - RWTH-2015-06984
T2  - Lecture Notes in Computer Science
SP  - 360-368
PY  - 2015
T2  - International Conference on Theory and Applications of Satisfiability Testing
CY  - 24 Sep 2015 - 27 Sep 2015, Austin, TX (USA)
Y2  - 24 Sep 2015 - 27 Sep 2015
M2  - Austin, TX, USA
LB  - PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
UR  - <Go to ISI:>//WOS:000366019600026
DO  - DOI:10.1007/978-3-319-24318-4_26
UR  - https://publications.rwth-aachen.de/record/561680
ER  -